The following pages link to What good are digital clocks? (Q5204346):
Displaying 33 items.
- Metric temporal logic revisited (Q266865) (← links)
- Expected reachability-time games (Q278757) (← links)
- On parametric timed automata and one-counter machines (Q515666) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Tweaking the odds in probabilistic timed automata (Q832050) (← links)
- HRELTL: a temporal logic for hybrid systems (Q897648) (← links)
- What's decidable about hybrid automata? (Q1273866) (← links)
- Verification of duration systems using an approximation approach (Q1429422) (← links)
- Algorithms for monitoring real-time properties (Q1647773) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- Decidable integration graphs. (Q1854273) (← links)
- Real-time system = discrete system + clock variables (Q1856191) (← links)
- Presburger liveness verification of discrete timed automata. (Q1874402) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Entropy of regular timed languages (Q2343131) (← links)
- Cyclic-routing of unmanned aerial vehicles (Q2424667) (← links)
- Monotonic hybrid systems (Q2486564) (← links)
- Timed CSP = closed timed automata (Q2842610) (← links)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Process Algebra and Model Checking (Q3176390) (← links)
- Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems (Q3510802) (← links)
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) (Q3510874) (← links)
- Some Recent Results in Metric Temporal Logic (Q3543284) (← links)
- A decidable timeout-based extension of linear temporal logic (Q4583356) (← links)
- The expressive power of clocks (Q4645197) (← links)
- Verification in continuous time by discrete reasoning (Q5096392) (← links)
- (Q5111251) (← links)
- (Q5376664) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901604) (← links)
- Reachability in two-parametric timed automata with one parameter is EXPSPACE-complete (Q6614617) (← links)
