Nima Roohi

From MaRDI portal
Person:2272935

Available identifiers

zbMath Open roohi.nimaMaRDI QIDQ2272935

List of research outcomes





PublicationDate of PublicationType
Numerically-robust inductive proof rules for continuous dynamical systems2024-02-16Paper
Relating syntactic and semantic perturbations of hybrid automata2021-08-04Paper
Revisiting MITL to Fix Decision Procedures2020-07-07Paper
Statistical verification of PCTL using antithetic and stratified samples2019-11-18Paper
Hybridization based CEGAR for hybrid automata with affine dynamics2019-09-17Paper
Parameter Invariant Monitoring for Signal Temporal Logic2018-12-06Paper
Stability Analysis of Switched Linear Systems Defined by Regular Languages2017-07-27Paper
Robust Model Checking of Timed Automata under Clock Drifts2017-07-11Paper
https://portal.mardi4nfdi.de/entity/Q29890072017-05-19Paper
Statistical verification of dynamical systems using set oriented methods2017-05-19Paper
Deciding Concurrent Planar Monotonic Linear Hybrid Systems2015-09-14Paper
Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints2015-08-06Paper
Realizability and dynamic reconfiguration of chor specifications2012-05-30Paper

Research outcomes over time

This page was built for person: Nima Roohi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2272935&oldid=6934002"
Powered by MediaWiki