scientific article; zbMATH DE number 7439742

zbMath1478.68163arXiv1509.05144MaRDI QIDQ5015281

Swen Jacobs, Leander Tentrup, Martín G. Zimmermann

Publication date: 7 December 2021

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

Distributed synthesis for parameterized temporal logics

Cites Work

• Optimal bounds in parametric LTL games
• Distributed synthesis for well-connected architectures
• From liveness to promptness
• Distributed synthesis for regular and contextfree specifications
• Distributed synthesis is simply undecidable
• Fair Synthesis for Asynchronous Distributed Systems
• Parametric temporal logic for “model measuring”
• Synthesis of Asynchronous Systems
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item