Devendra Bhave

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
On timed scope-bounded context-sensitive languages
(available as arXiv preprint)
2019-10-15Paper
Adding dense-timed stack to integer reset timed automata2017-12-20Paper
Bounded-rate multi-mode systems based motion planning
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
2017-05-19Paper
A perfect class of context-sensitive timed languages
Developments in Language Theory
2016-08-30Paper
A logical characterization for dense-time visibly pushdown automata
Language and Automata Theory and Applications
2016-04-13Paper


Research outcomes over time


This page was built for person: Devendra Bhave