Robust Linear Temporal Logic
From MaRDI portal
Publication:5278396
DOI10.4230/LIPIcs.CSL.2016.10zbMath1370.03025arXiv1510.08970MaRDI QIDQ5278396
Publication date: 19 July 2017
Full work available at URL: https://arxiv.org/abs/1510.08970
Related Items (12)
Robust, expressive, and quantitative linear temporal logics: pick any two for free ⋮ From LTL to rLTL monitoring: improved monitorability through robust semantics ⋮ Defeasible linear temporal logic ⋮ Adaptive strategies for rLTL games ⋮ On tolerance of discrete systems with respect to transition perturbations ⋮ Unnamed Item ⋮ Robust control for signal temporal logic specifications using discrete average space robustness ⋮ A weakness measure for GR(1) formulae ⋮ Synthesizing Optimally Resilient Controllers ⋮ Reactive synthesis with maximum realizability of linear temporal logic specifications ⋮ Synthesizing optimally resilient controllers ⋮ Optimally Resilient Strategies in Pushdown Safety Games
This page was built for publication: Robust Linear Temporal Logic