The following pages link to A theory of timed automata (Q1322162):
Displaying 10 items.
- Dynamic controllability via timed game automata (Q329422) (← links)
- The sweep-line state space exploration method (Q418783) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- Modular Synthesis of Timed Circuits using Partial Orders on LPNs (Q2842584) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Approximate Verification of the Symbolic Dynamics of Markov Chains (Q5501948) (← links)
- Spiking neural networks modelled as timed automata: with parameter learning (Q6151163) (← links)
