Showing 1 - 2 results of 2 for search 'Vinayak S. Prabhu', query time: 0.03s
Refine Results
-
1
Causality Analysis for Concurrent Reactive Systems (Extended Abstract) by Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu
Published 2019-01-01
Article -
2
Timed Parity Games: Complexity and Robustness by Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
Published 2011-12-01
Article