Monitoring temporal logic with clock variables

DOI10.1007/978-3-030-00151-3_4OpenAlexW2888608158MaRDI QIDQ1631217

Adrián Elgyütt, Thomas Ferrère, Thomas A. Henzinger

Publication date: 6 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-00151-3_4

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

On probabilistic monitorability ⋮ Linear Time Monitoring for One Variable TPTL

This page was built for publication: Monitoring temporal logic with clock variables