15 citations · 28 across the 12 of their papers we have counts for
14 papers
Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
Bassem Ghorbel, Vinayak S. Prabhu
Researchers have previously proposed augmenting Signal Temporal Logic (STL) with the value freezing operator in order to express engineering properties that cannot be expressed in…
Thresholded Lexicographic Ordered Multiobjective Reinforcement Learning
Alperen Tercan, Vinayak S. Prabhu
Lexicographic multi-objective problems, which impose a lexicographic importance order over the objectives, arise in many real-life scenarios. Existing Reinforcement Learning work d…
Causality Analysis for Concurrent Reactive Systems (Extended Abstract)
Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu
We present a comprehensive language theoretic causality analysis framework for explaining safety property violations in the setting of concurrent reactive systems. Our framework al…
Parameter Optimization in Control Software using Statistical Fault Localization Techniques
Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar +1
Embedded controllers for cyber-physical systems are often parameterized by look-up maps representing discretizations of continuous functions on metric spaces. For example, a non-li…
Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances
Samira S. Farahani, Rupak Majumdar, Vinayak Prabhu +1
We present Shrinking Horizon Model Predictive Control (SHMPC) for discrete-time linear systems with Signal Temporal Logic (STL) specification constraints under stochastic disturban…
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar +2
We propose a new model for formalizing reward collection problems on graphs with dynamically generated rewards which may appear and disappear based on a stochastic model. The *robo…