Timed Pushdown Automata Revisited
From MaRDI portal
Publication:4635851
DOI10.1109/LICS.2015.73zbMath1401.68157arXiv1503.02422MaRDI QIDQ4635851
Lorenzo Clemente, Sławomir Lasota
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1503.02422
Related Items
Unnamed Item, Unnamed Item, Verifying quantitative temporal properties of procedural programs, Towards an Efficient Tree Automata based technique for Timed Systems, Fast zone-based algorithms for reachability in pushdown timed automata, Dynamic data structures for timed automata acceptance, On the determinization of event-clock input-driven pushdown automata, Context-free timed formalisms: robust automata and linear temporal logics, Reachability relations of timed pushdown automata, Unnamed Item