scientific article; zbMATH DE number 7559473

DOI10.4230/LIPIcs.CONCUR.2020.17MaRDI QIDQ5089282

Nicolas Mazzocchi, Ashutosh Trivedi, Emmanuel Filiot, Sriram Sankaranarayanan, Jean-François Raskin

Publication date: 18 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fault-tolerancequantitative verificationweighted transducers

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Optimal repair for omega-regular properties ⋮ On tolerance of discrete systems with respect to transition perturbations

Cites Work

• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
• The algorithmic analysis of hybrid systems
• Robustness of temporal logic specifications for continuous-time signals
• Handbook of weighted automata
• A characterization of the minimum cycle mean in a digraph
• A theory of timed automata
• Time robustness in MTL and expressivity in hybrid system falsification
• Expressiveness and Closure Properties for Quantitative Languages
• Quantitative languages
• Lipschitz Robustness of Finite-state Transducers
• What’s Decidable about Weighted Automata?
• Visibly pushdown languages
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Handbook of Model Checking
• On the Complexity of Shortest Path Problems on Discounted Cost Graphs
• Robustness Analysis of String Transducers
• Quantifying conformance using the Skorokhod metric
• Encyclopedia of Distances
• Reachability analysis of pushdown automata: Application to model-checking

This page was built for publication: