Strix

swMATH33422MaRDI QIDQ45131FDOQ45131

Author name not available (Why is that?)

Described by source

• Practical synthesis of reactive systems from LTL specifications via parity games

Cited In (14)

• Title not available (Why is that?)
• Adapting behaviors via reactive synthesis
• A Unified Translation of Linear Temporal Logic to ω-Automata
• Title not available (Why is that?)
• Back to the future: a fresh look at linear temporal logic
• New optimizations and heuristics for determinization of Büchi automata
• Live synthesis
• Incorporating monitors in reactive synthesis without paying the price
• Runtime enforcement of hyperproperties
• Semantic labelling and learning for parity game solving in LTL synthesis
• Linear temporal logic -- from infinite to finite horizon
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\)

This page was built for software: Strix