The following pages link to Vinayak S. Prabhu (Q388223):
Displaying 17 items.
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- Quantitative Temporal Simulation and Refinement Distances for Timed Systems (Q2982579) (← links)
- Synthesis of memory-efficient "real-time" controllers for safety objectives (Q2986732) (← links)
- Quantitative timed simulation functions and refinement metrics for real-time systems (Q2986932) (← links)
- Computing the Skorokhod distance between polygonal traces (Q2988939) (← links)
- Computing Distances between Reach Flowpipes (Q2988992) (← links)
- Timed Alternating-Time Temporal Logic (Q3511218) (← links)
- Trading Infinite Memory for Uniform Randomness in Timed Games (Q3523100) (← links)
- (Q4552473) (← links)
- The Robot Routing Problem for Collecting Aggregate Stochastic Rewards (Q5111626) (← links)
- Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances (Q5228316) (← links)
- Minimum-Time Reachability in Timed Games (Q5428862) (← links)
- Quantifying conformance using the Skorokhod metric (Q5892423) (← links)
- Timed Parity Games: Complexity and Robustness (Q5895527) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897965) (← links)
- Timed Parity Games: Complexity and Robustness (Q5900485) (← links)
- Quantifying conformance using the Skorokhod metric (Q5915874) (← links)
