Publication:4611376
From MaRDI portal
DOI10.23638/LMCS-14(4:20)2018zbMath1405.68187arXiv1606.02643MaRDI QIDQ4611376
Richard Mayr, Amaury Pouly, James Worrell, Joël Ouaknine, Antonia Lechner
Publication date: 18 January 2019
Full work available at URL: https://arxiv.org/abs/1606.02643
03D05: Automata and formal grammars in connection with logical questions
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
03B44: Temporal logic