Follow
Nima Roohi
Nima Roohi
Verified email at ucsd.edu - Homepage
Title
Cited by
Cited by
Year
Neural lyapunov control
YC Chang, N Roohi, S Gao
Advances in neural information processing systems 32, 2019
2742019
Realizability of Choreographies using Process Algebra Encodings
G Salaün, T Bultan, N Roohi
IEEE Transactions on Services Computing 5, 290--304, 2012
1422012
Stability analysis of switched linear systems defined by regular languages
Y Wang, N Roohi, GE Dullerud, M Viswanathan
IEEE Transactions on Automatic Control 62 (5), 2568-2575, 2016
402016
Statistical verification of the Toyota powertrain control verification benchmark
N Roohi, Y Wang, M West, GE Dullerud, M Viswanathan
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
272017
Hybridization based CEGAR for hybrid automata with affine dynamics
N Roohi, P Prabhakar, M Viswanathan
International Conference on Tools and Algorithms for the Construction and …, 2016
262016
Stability of linear autonomous systems under regular switching sequences
Y Wang, N Roohi, GE Dullerud, M Viswanathan
53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA …, 2014
212014
HARE: A hybrid abstraction refinement engine for verifying non-linear hybrid automata
N Roohi, P Prabhakar, M Viswanathan
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
202017
Realizability and Dynamic Reconfiguration of Chor Specifications
N Roohi, G Salaün
Informatica: An International Journal of Computing and Informatics 35 (1), 39-49, 2011
182011
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems
S Gao, J Kapinski, J Deshmukh, N Roohi, A Solar-Lezama, N Arechiga, ...
International Conference on Computer Aided Verification, 137--154, 2019
162019
Self-driving vehicle verification towards a benchmark
N Roohi, R Kaur, J Weimer, O Sokolsky, I Lee
arXiv preprint arXiv:1806.08810, 2018
162018
Statistical verification of dynamical systems using set oriented methods
Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
152015
Statistically model checking PCTL specifications on Markov decision processes via reinforcement learning
Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud
2020 59th IEEE Conference on Decision and Control (CDC), 1392-1397, 2020
132020
Verifying continuous-time stochastic hybrid systems via Mori-Zwanzig model reduction
Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud
2016 IEEE 55th conference on decision and control (CDC), 3012-3017, 2016
122016
On Realizability and Dynamic Reconfiguration of Choreographies
G Salaün, N Roohi
Proc. of WASELF 9, 2009
112009
Statistical verification of PCTL using stratified samples
Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud
IFAC-PapersOnLine 51 (16), 85-90, 2018
102018
Statistical verification of PCTL using antithetic and stratified samples
Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud
Formal Methods in System Design 54, 145-163, 2019
92019
Parameter invariant monitoring for signal temporal logic
N Roohi, R Kaur, J Weimer, O Sokolsky, I Lee
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
92018
A Mori-Zwanzig and MITL based approach to statistical verification of continuous-time dynamical systems
Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud
IFAC-PapersOnLine 48 (27), 267-273, 2015
82015
Robust model checking of timed automata under clock drifts
N Roohi, P Prabhakar, M Viswanathan
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
72017
Analyzing chor specifications by translation into FSP
N Roohi, G Salaün, SH Mirian
Electronic Notes in Theoretical Computer Science 255, 159-176, 2009
72009
The system can't perform the operation now. Try again later.
Articles 1–20