Vinayak S. Prabhu

Available identifiers

Publication	Date of Publication	Type
Linear Time Monitoring for One Variable TPTL	2024-02-21	Paper
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards	2020-05-27	Paper
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances	2019-08-12	Paper
Quantifying conformance using the Skorokhod metric	2018-03-01	Paper
Computing the Skorokhod distance between polygonal traces	2017-05-19	Paper
Computing Distances between Reach Flowpipes	2017-05-19	Paper
Synthesis of memory-efficient "real-time" controllers for safety objectives	2017-05-16	Paper
Quantitative Temporal Simulation and Refinement Distances for Timed Systems	2017-05-16	Paper
Quantitative timed simulation functions and refinement metrics for real-time systems	2017-05-16	Paper
Quantifying conformance using the Skorokhod metric	2017-05-15	Paper
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems	2013-12-19	Paper
Timed Parity Games: Complexity and Robustness	2012-04-02	Paper
Timed Parity Games: Complexity and Robustness	2008-12-02	Paper
Trading Infinite Memory for Uniform Randomness in Timed Games	2008-09-02	Paper
Timed Alternating-Time Temporal Logic	2008-07-08	Paper
Minimum-Time Reachability in Timed Games	2007-11-28	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4552473	2002-09-03	Paper

This page was built for person: Vinayak S. Prabhu