A Note on Deciding Controllability in Pushdown Systems
From MaRDI portal
Publication:5281765
DOI10.1109/TAC.2005.863513zbMath1366.93052MaRDI QIDQ5281765
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
93B05: Controllability
68Q45: Formal languages and automata
93C65: Discrete event control/observation systems
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items