Pages that link to "Item:Q2867948"
From MaRDI portal
The following pages link to Towards a hybrid dynamic logic for hybrid dynamic systems (Q2867948):
Displaying 7 items.
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- A dynamic hybrid logic for followership (Q2291257) (← links)
- Logics of Dynamical Systems (Q2986778) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- Quantified Differential Dynamic Logic for Distributed Hybrid Systems (Q3586060) (← links)
- Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B (Q5881449) (← links)
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems (Q6175620) (← links)