Follow
Vinayak S. Prabhu
Title
Cited by
Cited by
Year
Assume-guarantee reasoning for hierarchical hybrid systems
TA Henzinger, M Minea, V Prabhu
Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001
1182001
Quantifying similarities between timed systems
TA Henzinger, R Majumdar, VS Prabhu
International Conference on Formal Modeling and Analysis of Timed Systems …, 2005
862005
Testing cyber-physical systems through bayesian optimization
J Deshmukh, M Horvat, X Jin, R Majumdar, VS Prabhu
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-18, 2017
762017
Timed alternating-time temporal logic
TA Henzinger, VS Prabhu
International Conference on Formal Modeling and Analysis of Timed Systems, 1-17, 2006
512006
Timed parity games: Complexity and robustness
K Chatterjee, TA Henzinger, VS Prabhu
Logical Methods in Computer Science 7, 2011
442011
Timed Parity Games: Complexity and Robustness
K Chatterjee, TA Henzinger, VS Prabhu
Logical Methods in Computer Science 7, 2011
442011
Minimum-time reachability in timed games
T Brihaye, TA Henzinger, VS Prabhu, JF Raskin
International Colloquium on Automata, Languages, and Programming, 825-837, 2007
392007
Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances
SS Farahani, R Majumdar, VS Prabhu, S Soudjani
IEEE Transactions on Automatic Control 64 (8), 3324-3331, 2018
382018
Quantifying conformance using the Skorokhod metric
JV Deshmukh, R Majumdar, VS Prabhu
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
372015
QuanTM: A quantitative trust management system
AG West, AJ Aviv, J Chang, VS Prabhu, M Blaze, S Kannan, I Lee, ...
Proceedings of the Second European Workshop on System Security, 28-35, 2009
322009
Quantifying conformance using the Skorokhod metric
JV Deshmukh, R Majumdar, VS Prabhu
Formal Methods in System Design 50, 168-206, 2017
312017
Shrinking horizon model predictive control with chance-constrained signal temporal logic specifications
SS Farahani, R Majumdar, VS Prabhu, SEZ Soudjani
2017 American Control Conference (ACC), 1740-1746, 2017
262017
Computing the Skorokhod distance between polygonal traces
R Majumdar, VS Prabhu
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
222015
Trading infinite memory for uniform randomness in timed games
K Chatterjee, TA Henzinger, VS Prabhu
International Workshop on Hybrid Systems: Computation and Control, 87-100, 2008
152008
Parameter optimization in control software using statistical fault localization techniques
J Deshmukh, X Jin, R Majumdar, V Prabhu
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
132018
Computing distances between reach flowpipes
R Majumdar, VS Prabhu
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
132016
Quantitative temporal simulation and refinement distances for timed systems
K Chatterjee, VS Prabhu
IEEE Transactions on Automatic Control 60 (9), 2291-2306, 2015
112015
Causality Analysis for Concurrent Reactive Systems
R Dimitrova, R Majumdar, VS Prabhu
arXiv preprint arXiv:1901.00589, 2019
82019
Robust mission planning for underwater applications: Issues and challenges
M Kothari, J Pinto, VS Prabhu, P Ribeiro, JB De Sousa, PB Sujit
IFAC Proceedings Volumes 45 (5), 223-229, 2012
82012
Synthesis of memory-efficient" real-time" controllers for safety objectives
K Chatterjee, VS Prabhu
Proceedings of the 14th international conference on Hybrid systems …, 2011
62011
The system can't perform the operation now. Try again later.
Articles 1–20