Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra
From MaRDI portal
Publication:2942784
DOI10.1007/978-3-662-44124-4_12zbMath1445.03018arXiv1212.1734OpenAlexW1486290332MaRDI QIDQ2942784
Publication date: 11 September 2015
Published in: Advanced Information Systems Engineering (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1212.1734
This page was built for publication: Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra