The following pages link to On Bounded Specifications (Q2996151):
Displayed 8 items.
- Antichains and compositional algorithms for LTL synthesis (Q453498) (← links)
- Spanning the spectrum from safety to liveness (Q1629750) (← links)
- Certifying inexpressibility (Q2233423) (← links)
- GSTE is partitioned model checking (Q2385196) (← links)
- Temporal Logic and Fair Discrete Systems (Q3176360) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors (Q5452193) (← links)
- How Much Lookahead is Needed to Win Infinite Games? (Q5892380) (← links)