Vinayak S. Prabhu

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