Pages that link to "Item:Q2986905"
From MaRDI portal
The following pages link to Least-violating control strategy synthesis with safety rules (Q2986905):
Displaying 5 items.
- Reactive synthesis with maximum realizability of linear temporal logic specifications (Q2303876) (← links)
- Time window temporal logic (Q2402278) (← links)
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
- Hierarchical Multiobjective Shortest Path Problems (Q3381971) (← links)
- Recomposable restricted finite state machines: definition and solution approaches (Q3386582) (← links)
