Vinayak S. Prabhu

Identifiers

• name variant Vinayak S. Prabhu 0.60 · backfill

Papers (9)

1. Parameter Optimization in Control Software using Statistical Fault Localization Techniques cs.SY · 2017 · author #4
2. The Robot Routing Problem for Collecting Aggregate Stochastic Rewards cs.SY · 2017 · author #4
3. Computing Distances between Reach Flowpipes cs.SY · 2016 · author #2
4. Quantifying Conformance using the Skorokhod Metric (full version) cs.SY · 2015 · author #3
5. Computing the Skorokhod Distance between Polygonal Traces (Full Paper) cs.SY · 2014 · author #2
6. Quantitative Timed Simulation Functions and Refinement Metrics for Timed Systems (Full Version) cs.SY · 2012 · author #2
7. Finite Automata with Time-Delay Blocks (Extended Version) cs.FL · 2012 · author #3
8. Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version) cs.LO · 2011 · author #2
9. Timed Parity Games: Complexity and Robustness cs.LO · 2010 · author #3

Mentions

• 1212.6556 #2 · backfill · confidence 0.70 Vinayak S. Prabhu
• 1207.7019 #3 · backfill · confidence 0.70 Vinayak S. Prabhu
• 1101.5842 #2 · backfill · confidence 0.70 Vinayak S. Prabhu
• 1011.0688 #3 · backfill · confidence 0.70 Vinayak S. Prabhu

Frequent Coauthors

• Rupak Majumdar 5 shared papers
• Krishnendu Chatterjee 4 shared papers
• Jyotirmoy V. Deshmukh 2 shared papers
• Thomas A. Henzinger 2 shared papers
• Ivan Gavran 1 shared papers
• Rayna Dimitrova 1 shared papers
• Sadegh Esmaeil Zadeh Soudjani 1 shared papers
• Xiaoqing Jin 1 shared papers