15 citations · 28 across the 12 of their papers we have counts for
4 papers · 1 filter
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…
Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version)
Krishnendu Chatterjee, Vinayak S. Prabhu
We study synthesis of controllers for real-time systems, where the objective is to stay in a given safe set. The problem is solved by obtaining winning strategies in concurrent two…
Timed Parity Games: Complexity and Robustness
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
We consider two-player games played in real time on game structures with clocks where the objectives of players are described using parity conditions. The games are \emph{concurren…
Timed Parity Games: Complexity and Robustness
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak Prabhu
We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently pro…