Time robustness in MTL and expressivity in hybrid system falsification
From MaRDI portal
Publication:1702902
DOI10.1007/978-3-319-21668-3_21zbMath1381.68142arXiv1505.06307OpenAlexW2167799541MaRDI QIDQ1702902
Publication date: 1 March 2018
Full work available at URL: https://arxiv.org/abs/1505.06307
Sensitivity (robustness) (93B35) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (8)
Quantitative monitoring of STL with edit distance ⋮ From LTL to rLTL monitoring: improved monitorability through robust semantics ⋮ A few lessons learned in reinforcement learning for quadcopter attitude control ⋮ Robust control for signal temporal logic specifications using discrete average space robustness ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Algebraic quantitative semantics for efficient online temporal monitoring
This page was built for publication: Time robustness in MTL and expressivity in hybrid system falsification
