Formal Languages and Automata Theory

Authors and titles for August 2018

[21] arXiv:1808.09028 (cross-list from cs.LO) [pdf, other]

Title: Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free (full version)

Daniel Neider, Alexander Weinert, Martin Zimmermann

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)