The following pages link to Computer Aided Verification (Q5900678):
Displayed 12 items.
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- MR4UM: a framework for adding fault tolerance to UML state diagrams (Q391245) (← links)
- A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
- Folk theorems on the determinization and minimization of timed automata (Q845728) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
- The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← links)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- Timed Control with Observation Based and Stuttering Invariant Strategies (Q3510796) (← links)
- Control and synthesis of non-interferent timed systems (Q5265904) (← links)
- Supervisory Control with Partial Observations (Q5496922) (← links)