Devendra Bhave
Title
Cited by
Cited by
Year
A logical characterization for dense-time visibly pushdown automata
D Bhave, V Dave, SN Krishna, R Phawade, A Trivedi
Language and Automata Theory and Applications, 89-101, 2016
102016
A perfect class of context-sensitive timed languages
D Bhave, V Dave, SN Krishna, R Phawade, A Trivedi
International Conference on Developments in Language Theory, 38-50, 2016
72016
Bounded-rate multi-mode systems based motion planning
D Bhave, S Jha, SN Krishna, S Schewe, A Trivedi
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
42015
Adding dense-timed stack to integer reset timed automata
D Bhave, S Guha
International Workshop on Reachability Problems, 9-25, 2017
22017
On nonlinear prices in timed automata
D Bhave, SN Krishna, A Trivedi
arXiv preprint arXiv:1612.04976, 2016
22016
On timed scope-bounded context-sensitive languages
D Bhave, SN Krishna, R Phawade, A Trivedi
International Conference on Developments in Language Theory, 168-181, 2019
12019
Software Verification of Timed Systems
D Bhave
2013
On Nonlinear Prices in Timed Automata
A Trivedi, SN Krishna, D Bhave
The Multiple Dimensions of Mean-Payoff Games (Extended Abstract)......
L Doyen, D Bhave, S Guha, F Bruse, M Lange, E Lozes, F Cassez, ...
Ramsey-Based Inclusion Checking for Dense-Stack Visibly Pushdown Automata
D Bhave, R Phawade
The system can't perform the operation now. Try again later.
Articles 1–10