Vinayak S. Prabhu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2007–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ECAI | Thresholded Lexicographic Ordered Multiobjective Reinforcement Learning. | Alperen Tercan, Vinayak S. Prabhu |
| 2024 | MEMOCODE | Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL | Bassem Ghorbel, Vinayak S. Prabhu |
| 2022 | MEMOCODE | Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL. | Vinayak S. Prabhu, Meetkumar Savaliya |
| 2017 | CONCUR | The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. | Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani |
| 2015 | CAV | Quantifying Conformance Using the Skorokhod Metric. | Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu |
| 2012 | EMSOFT | Finite automata with time-delay blocks. | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
| 2007 | ICALP | Minimum-Time Reachability in Timed Games. | Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-Franois Raskin |