Monitoring bounded LTL properties using interval analysis

From MaRDI portal
Publication:2520682

DOI10.1016/j.entcs.2015.10.009zbMath1351.68163arXiv1506.01762OpenAlexW2964352321WikidataQ113317761 ScholiaQ113317761MaRDI QIDQ2520682

Naoki Yonezaki, Daisuke Ishii, Alexandre Goldsztejn

Publication date: 16 December 2016

Full work available at URL: https://arxiv.org/abs/1506.01762





Uses Software


Cites Work


This page was built for publication: Monitoring bounded LTL properties using interval analysis