Nima Roohi

31 papers A* 1A 1B 2Journal 11Unranked 15
YearRankTypeTitle / Venue / Authors
2021 J jnl
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction.
ACM Trans. Embed. Comput. Syst.
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2020 J jnl
Neural Lyapunov Control.
CoRR
Ya-Chien Chang, Nima Roohi, Sicun Gao
2020 — conf
STMC: Statistical Model Checker with Stratified and Antithetic Sampling.
CAV (2)
Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
2020 — conf
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning.
CDC
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2020 J jnl
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning.
CoRR
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2020 J jnl
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction.
CoRR
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2019 A* conf
Neural Lyapunov Control.
NeurIPS
Ya-Chien Chang, Nima Roohi, Sicun Gao
2019 — conf
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems.
CAV (2)
Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong
2019 J jnl
Revisiting MITL to Fix Decision Procedures.
CoRR
Nima Roohi, Mahesh Viswanathan
2019 J jnl
Statistical verification of PCTL using antithetic and stratified samples.
Formal Methods Syst. Des.
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2018 — conf
Parameter Invariant Monitoring for Signal Temporal Logic.
HSCC
Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
2018 B conf
Relating Syntactic and Semantic Perturbations of Hybrid Automata.
CONCUR
Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
2018 B conf
Revisiting MITL to Fix Decision Procedures.
VMCAI
Nima Roohi, Mahesh Viswanathan
2018 J jnl
Self-Driving Vehicle Verification Towards a Benchmark.
CoRR
Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
2018 — conf
Statistical Verification of PCTL Using Stratified Samples.
ADHS
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2017 — conf
HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata.
TACAS (1)
Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
2017 — —
Remedies for building reliable cyber-physical systems
Nima Roohi
2017 — conf
Robust Model Checking of Timed Automata under Clock Drifts.
HSCC
Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
2017 J jnl
Stability Analysis of Switched Linear Systems Defined by Regular Languages.
IEEE Trans. Autom. Control.
Yu Wang, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan
2017 — conf
Statistical Verification of the Toyota Powertrain Control Verification Benchmark.
HSCC
Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
2016 A conf
Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics.
TACAS
Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
2016 — conf
Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction.
CDC
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2015 — conf
A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems.
ADHS
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2015 — conf
Deciding Concurrent Planar Monotonic Linear Hybrid Systems.
FORMATS
Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan
2015 J jnl
Statistical model checking for unbounded until formulas.
Int. J. Softw. Tools Technol. Transf.
Nima Roohi, Mahesh Viswanathan
2015 — conf
Statistical verification of dynamical systems using set oriented methods.
HSCC
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2014 — conf
Stability of linear autonomous systems under regular switching sequences.
CDC
Yu Wang, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan
2014 — conf
Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints.
FORMATS
Nima Roohi, Mahesh Viswanathan
2012 J jnl
Realizability of Choreographies Using Process Algebra Encodings.
IEEE Trans. Serv. Comput.
Gwen Salaün, Tevfik Bultan, Nima Roohi
2011 J jnl
Realizability and Dynamic Reconfiguration of Chor Specifications.
Informatica (Slovenia)
Nima Roohi, Gwen Salaün
2009 — conf
Analyzing Chor Specifications by Translation into FSP.
FOCLASA
Nima Roohi, Gwen Salaün, Seyed-Hassan Mirian-Hosseinabadi