Pages that link to "Item:Q1402734"
From MaRDI portal
The following pages link to Proving properties of continuous systems: Qualitative simulation and temporal logic (Q1402734):
Displaying 8 items.
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Focusing qualitative simulation using temporal logic: Theoretical foundations (Q1383355) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Monitoring bounded LTL properties using interval analysis (Q2520682) (← links)
- Random generation of monotonic functions for Monte Carlo solution of qualitative differential equations (Q2576076) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)