Nima Roohi

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 25

Top Topics

Handwritten Signature Verification

Markov Decision Processes

Top Venues

Publications

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