The following pages link to Synthesis of Reactive(1) designs (Q439954):
Displaying 9 items.
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Agent planning programs (Q899440) (← links)
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems (Q1641032) (← links)
- Dynamic hierarchical reactive controller synthesis (Q1693821) (← links)
- Augmented finite transition systems as abstractions for control synthesis (Q1693823) (← links)
- Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
- Shield synthesis (Q1696587) (← links)
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- Efficient Algorithms for Omega-Regular Energy Games (Q6488464) (← links)
