×

zbMATH — the first resource for mathematics

Prabhu, Vinayak S.

Compute Distance To:
Author ID: prabhu.vinayak-s Recent zbMATH articles by "Prabhu, Vinayak S."
Published as: Prabhu, Vinayak; Prabhu, Vinayak S.
External Links: MGP
Documents Indexed: 17 Publications since 2002

Publications by Year

Citations contained in zbMATH

13 Publications have been cited 45 times in 40 Documents Cited by Year
Quantifying similarities between timed systems. Zbl 1175.68281
Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S.
13
2005
Minimum-time reachability in timed games. Zbl 1171.68526
Brihaye, Thomas; Henzinger, Thomas A.; Prabhu, Vinayak S.; Raskin, Jean-François
6
2007
Timed alternating-time temporal logic. Zbl 1142.68049
Henzinger, Thomas A.; Prabhu, Vinayak S.
5
2006
Timed parity games: complexity and robustness. Zbl 1237.68112
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
4
2011
Assume-guarantee reasoning for hierarchical hybrid systems. Zbl 0991.93002
Henzinger, Thomas A.; Minea, Marius; Prabhu, Vinayak
4
2002
Timed parity games: Complexity and robustness. Zbl 1171.68527
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
3
2008
Quantifying conformance using the Skorokhod metric. Zbl 1381.68156
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
2
2015
Quantitative temporal simulation and refinement distances for timed systems. Zbl 1360.68545
Chatterjee, Krishnendu; Prabhu, Vinayak S.
2
2015
Trading infinite memory for uniform randomness in timed games. Zbl 1143.68479
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
2
2008
Quantifying conformance using the Skorokhod metric. Zbl 1360.68629
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
1
2017
Computing the Skorokhod distance between polygonal traces. Zbl 1364.93245
Majumdar, Rupak; Prabhu, Vinayak S.
1
2015
Quantitative timed simulation functions and refinement metrics for real-time systems. Zbl 1361.68019
Chatterjee, Krishnendu; Prabhu, Vinayak S.
1
2013
Synthesis of memory-efficient “real-time” controllers for safety objectives. Zbl 1361.68164
Chatterjee, Krishnendu; Prabhu, Vinayak S.
1
2011
Quantifying conformance using the Skorokhod metric. Zbl 1360.68629
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
1
2017
Quantifying conformance using the Skorokhod metric. Zbl 1381.68156
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
2
2015
Quantitative temporal simulation and refinement distances for timed systems. Zbl 1360.68545
Chatterjee, Krishnendu; Prabhu, Vinayak S.
2
2015
Computing the Skorokhod distance between polygonal traces. Zbl 1364.93245
Majumdar, Rupak; Prabhu, Vinayak S.
1
2015
Quantitative timed simulation functions and refinement metrics for real-time systems. Zbl 1361.68019
Chatterjee, Krishnendu; Prabhu, Vinayak S.
1
2013
Timed parity games: complexity and robustness. Zbl 1237.68112
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
4
2011
Synthesis of memory-efficient “real-time” controllers for safety objectives. Zbl 1361.68164
Chatterjee, Krishnendu; Prabhu, Vinayak S.
1
2011
Timed parity games: Complexity and robustness. Zbl 1171.68527
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
3
2008
Trading infinite memory for uniform randomness in timed games. Zbl 1143.68479
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
2
2008
Minimum-time reachability in timed games. Zbl 1171.68526
Brihaye, Thomas; Henzinger, Thomas A.; Prabhu, Vinayak S.; Raskin, Jean-François
6
2007
Timed alternating-time temporal logic. Zbl 1142.68049
Henzinger, Thomas A.; Prabhu, Vinayak S.
5
2006
Quantifying similarities between timed systems. Zbl 1175.68281
Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S.
13
2005
Assume-guarantee reasoning for hierarchical hybrid systems. Zbl 0991.93002
Henzinger, Thomas A.; Minea, Marius; Prabhu, Vinayak
4
2002
all top 5

Cited by 76 Authors

8 Fahrenberg, Uli
8 Larsen, Kim Guldstrand
7 Legay, Axel
6 Bouyer, Patricia
6 Markey, Nicolas
3 Damm, Werner
3 Prabhu, Vinayak S.
3 Sankur, Ocan
3 Thrane, Claus R.
3 Traonouez, Louis-Marie
3 Wąsowski, Andrzej
2 Chatterjee, Krishnendu
2 Dingel, Juergen
2 Dullerud, Geir E.
2 Majumdar, Rupak
2 Prabhakar, Pavithra
2 Rudie, Karen
2 Viswanathan, Mahesh
2 Vladimerou, Vladimeros
2 Waez, Md Tawhid Bin
1 Bartocci, Ezio
1 Bergstra, Jan A.
1 Bozzelli, Laura
1 Bugaichenko, D. Yu.
1 Corporaal, Henk
1 Deshmukh, Jyotirmoy V.
1 Dierks, Henning
1 Dimitrova, Rayna
1 Duflot, Marie
1 Esmaeil Zadeh Soudjani, Sadegh
1 Fainekos, Georgios E.
1 Forejt, Vojtěch
1 Fränzle, Martin
1 Gavran, Ivan
1 Gribovskaya, Natalya S.
1 Grosu, Radu
1 Henzinger, Thomas A.
1 Huang, Jinfeng
1 Jakšić, Stefan
1 Jha, Susmit
1 Kieburtz, Richard B.
1 Křetínský, Jan
1 Kwiatkowska, Marta Z.
1 Laursen, Simon
1 Lynch, Nancy Ann
1 Ma, Yanfang
1 Middelburg, Cornelis A.
1 Nguyen, Thang Trung
1 Nickovic, Dejan
1 Norman, Gethin
1 Oehlerking, Jens
1 Otop, Jan
1 Ouaknine, Joel O.
1 Pan, Haiyu
1 Pappas, George J.
1 Peter, Hans-Jörg
1 Pinchinat, Sophie
1 Platzer, André
1 Pnueli, Amir
1 Quaas, Karin
1 Quesel, Jan-David
1 Rakow, Jan-Hendrik
1 Randour, Mickael
1 Renault, Gabriel
1 Sahai, Tuhin
1 Segala, Roberto
1 Seshia, Sanjit Arunkumar
1 Shankar, Natarajan
1 Sproston, Jeremy
1 Tiwari, Ashish Kumar
1 Trivedi, Ashutosh
1 Vaandrager, Frits W.
1 Virbitskaite, Irina B.
1 Voeten, Jeroen P. M.
1 Westphal, Bernd
1 Worrell, James B.

Citations by Year