Pages that link to "Item:Q5429337"
From MaRDI portal
The following pages link to Hybrid Systems: From Verification to Falsification (Q5429337):
Displaying 15 items.
- A computational approach to synthesizing guards for hybrid systems (Q464595) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- Coverage-guided test generation for continuous and hybrid systems (Q1039844) (← links)
- Time robustness in MTL and expressivity in hybrid system falsification (Q1702902) (← links)
- Verifying industrial hybrid systems with \textsc{MathSAT} (Q2849590) (← links)
- The Complete Proof Theory of Hybrid Systems (Q2986831) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (Q3637254) (← links)
- (Q4249562) (← links)
- (Q4806208) (← links)
- (Q4994712) (← links)
- Hybrid Systems: Computation and Control (Q5307932) (← links)
- Automated Technology for Verification and Analysis (Q5394195) (← links)