SU\G(𝔸)/K·U

Vinayak S. Prabhu

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*) 2024 Bassem Ghorbel
Vinayak S. Prabhu
+ Computing Distances between Reach Flowpipes 2016 Rupak Majumdar
Vinayak S. Prabhu
+ PDF Chat Computing the Skorokhod distance between polygonal traces 2015 Rupak Majumdar
Vinayak S. Prabhu
+ Computing the Skorokhod Distance between Polygonal Traces (Full Paper) 2014 Rupak Majumdar
Vinayak S. Prabhu
+ PDF Chat Finite automata with time-delay blocks 2012 Krishnendu Chatterjee
Thomas A. Henzinger
Vinayak S. Prabhu
+ Finite Automata with Time-Delay Blocks (Extended Version) 2012 Krishnendu Chatterjee
Thomas A. Henzinger
Vinayak S. Prabhu
+ Quantitative Timed Simulation Functions and Refinement Metrics for Timed Systems (Full Version) 2012 Krishnendu Chatterjee
Vinayak S. Prabhu
+ Finite Automata with Time-Delay Blocks ⋆ 2012 Krishnendu Chatterjee
Thomas A. Henzinger
Vinayak S. Prabhu
+ PDF Chat Timed Parity Games: Complexity and Robustness 2011 Krishnendu Chatterjee
Thomas A. Henzinger
Vinayak S. Prabhu
+ Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version) 2011 Krishnendu Chatterjee
Vinayak S. Prabhu
+ PDF Chat Timed Parity Games: Complexity and Robustness 2008 Krishnendu Chatterjee
Thomas A. Henzinger
Vinayak S. Prabhu
+ Timed Parity Games: Complexity and Robustness 2008 Krishnendu Chatterjee
Thomas A. Henzinger
Vinayak S. Prabhu
Common Coauthors
Coauthor Papers Together
Krishnendu Chatterjee 8
Thomas A. Henzinger 6
Rupak Majumdar 3
Bassem Ghorbel 1
Commonly Cited References
Action Title Year Authors # of times referenced
+ Stability of Time-Delay Systems 2003 Keqin Gu
Vladimir L. Kharitonov
Jie Chen
 3
+ Limit Theorems for Stochastic Processes 1956 A. V. Skorokhod
 2
+ PDF Chat Reachability-Time Games on Timed Automata 2007 Marcin Jurdziński
Ashutosh Trivedi
 2
+ Linear algebra and geometry 1990 2
+ Linear Algebra and Geometry 2012 Igor R. Shafarevich
Alexey O. Remizov
 1
+ Energy Parity Games 2010 Krishnendu Chatterjee
Laurent Doyen
 1
+ PDF Chat Controller synthesis for safety and reachability via approximate bisimulation 2012 Antoine Girard
 1
+ PDF Chat Symbolic models for nonlinear time-delay systems using approximate bisimulations 2010 Giordano Pola
Pierdomenico Pepe
Maria Domenica Di Benedetto
Paulo Tabuada
 1
+ Helly, Radon, and Carathéodory Type Theorems 1993 Jürgen Eckhoff
 1
+ PDF Chat Theory of Linear and Integer Programming. 1987 David K. Smith
Alexander Schrijver
 1
+ Finite Automata with Time-Delay Blocks (Extended Version) 2012 Krishnendu Chatterjee
Thomas A. Henzinger
Vinayak S. Prabhu
 1
+ PDF Chat A survey of model reduction methods for large-scale systems 2001 A.C. Antoulas
D. C. Sorensen
Serkan Gugercin
 1
+ PDF Chat Timed Parity Games: Complexity and Robustness 2008 Krishnendu Chatterjee
Thomas A. Henzinger
Vinayak S. Prabhu
 1