Vinayak S. Prabhu

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 16

Top Topics

Temporally Extended

Satisfiability Problem

Model Predictive Control

Top Venues

IEEE Trans. Autom. Control.

ACM Trans. Embed. Comput. Syst.

Publications

Bassem Ghorbel, Vinayak S. Prabhu
Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic. HSCC (2024)
Bassem Ghorbel, Vinayak S. Prabhu
Quantitative Robustness for Signal Temporal Logic With Time-Freeze Quantifiers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (12) (2023)
Vinayak S. Prabhu, Meetkumar Savaliya
Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL. MEMOCODE (2022)
Vinayak S. Prabhu, Mohit Singh, Indrajit Ray, Indrakshi Ray, Sudipto Ghosh
Detecting Secure Memory Deallocation Violations with CBMC. CPSS@AsiaCCS (2022)
Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Soudjani
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances. IEEE Trans. Autom. Control. 64 (8) (2019)
Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu
Causality Analysis for Concurrent Reactive Systems (Extended Abstract). CREST@ETAPS (2018)
Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu
Parameter optimization in control software using statistical fault localization techniques. ICCPS (2018)
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. CoRR (2017)
Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu
Parameter Optimization in Control Software using Statistical Fault Localization Techniques. CoRR (2017)
Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
Quantifying conformance using the Skorokhod metric. Formal Methods Syst. Des. 50 (2-3) (2017)
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. CONCUR (2017)
Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications. ACC (2017)
Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances. CoRR (2017)
Jyotirmoy V. Deshmukh, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu
Testing Cyber-Physical Systems through Bayesian Optimization. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Rupak Majumdar, Vinayak S. Prabhu
Computing Distances between Reach Flowpipes. CoRR (2016)
Rupak Majumdar, Vinayak S. Prabhu
Computing Distances between Reach Flowpipes. HSCC (2016)
Rupak Majumdar, Vinayak S. Prabhu
Computing the Skorokhod distance between polygonal traces. HSCC (2015)
Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
Quantifying Conformance using the Skorokhod Metric (full version). CoRR (2015)
Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
Quantifying Conformance Using the Skorokhod Metric. CAV (2) (2015)
Krishnendu Chatterjee, Vinayak S. Prabhu
Quantitative Temporal Simulation and Refinement Distances for Timed Systems. IEEE Trans. Autom. Control. 60 (9) (2015)
Rupak Majumdar, Vinayak S. Prabhu
Computing the Skorokhod Distance between Polygonal Traces (Full Paper). CoRR (2014)
Krishnendu Chatterjee, Vinayak S. Prabhu
Quantitative timed simulation functions and refinement metrics for real-time systems. HSCC (2013)
Krishnendu Chatterjee, Vinayak S. Prabhu
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. Inf. Comput. 228 (2013)
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
Finite Automata with Time-Delay Blocks (Extended Version) CoRR (2012)
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
Finite automata with time-delay blocks. EMSOFT (2012)
Krishnendu Chatterjee, Vinayak S. Prabhu
Quantitative Timed Simulation Functions and Refinement Metrics for Timed Systems (Full Version) CoRR (2012)
Krishnendu Chatterjee, Vinayak S. Prabhu
Synthesis of memory-efficient "real-time" controllers for safety objectives. HSCC (2011)
Krishnendu Chatterjee, Vinayak S. Prabhu
Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version) CoRR (2011)
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
Timed Parity Games: Complexity and Robustness Log. Methods Comput. Sci. 7 (4) (2011)
Andrew G. West, Adam J. Aviv, Jian Chang, Vinayak S. Prabhu, Matt Blaze, Sampath Kannan, Insup Lee, Jonathan M. Smith, Oleg Sokolsky
QuanTM: a quantitative trust management system. EUROSEC (2009)
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
Timed Parity Games: Complexity and Robustness CoRR (2008)
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
Trading Infinite Memory for Uniform Randomness in Timed Games. HSCC (2008)
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
Timed Parity Games: Complexity and Robustness. FORMATS (2008)
Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin
Minimum-Time Reachability in Timed Games. ICALP (2007)
Thomas A. Henzinger, Vinayak S. Prabhu
Timed Alternating-Time Temporal Logic. FORMATS (2006)
Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu
Quantifying Similarities Between Timed Systems. FORMATS (2005)
Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. HSCC (2001)