The following pages link to Nima Roohi (Q2272935):
Displaying 12 items.
- Hybridization based CEGAR for hybrid automata with affine dynamics (Q2272936) (← links)
- Statistical verification of PCTL using antithetic and stratified samples (Q2335899) (← links)
- (Q2888201) (← links)
- Deciding Concurrent Planar Monotonic Linear Hybrid Systems (Q2945600) (← links)
- Statistical verification of dynamical systems using set oriented methods (Q2988933) (← links)
- (Q2989007) (← links)
- Revisiting MITL to Fix Decision Procedures (Q3296347) (← links)
- Parameter Invariant Monitoring for Signal Temporal Logic (Q4561452) (← links)
- Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)
- Robust Model Checking of Timed Automata under Clock Drifts (Q5275328) (← links)
- Stability Analysis of Switched Linear Systems Defined by Regular Languages (Q5280442) (← links)
- Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints (Q5500564) (← links)
