Travelled to:1 × Poland
1 × USA
Collaborated with:J.V.Deshmukh R.Majumdar T.Brihaye T.A.Henzinger J.Raskin
Talks about:time (2) skorokhod (1) reachabl (1) quantifi (1) minimum (1) conform (1) metric (1) game (1) use (1)
Person: Vinayak S. Prabhu
DBLP: Prabhu:Vinayak_S=
Contributed to:
2015
2007Wrote 2 papers:
- CAV-2015-DeshmukhMP #consistency #metric #using
- Quantifying Conformance Using the Skorokhod Metric (JVD, RM, VSP), pp. 234–250.
- ICALP-2007-BrihayeHPR #game studies #reachability
- Minimum-Time Reachability in Timed Games (TB, TAH, VSP, JFR), pp. 825–837.