Strix

swMATH33422MaRDI QIDQ45131

No author found.

Described by source

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

Related Items (14)

Adapting behaviors via reactive synthesis ⋮ A Unified Translation of Linear Temporal Logic to ω-Automata ⋮ Linear temporal logic -- from infinite to finite horizon ⋮ Live synthesis ⋮ Runtime enforcement of hyperproperties ⋮ Incorporating monitors in reactive synthesis without paying the price ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ New Optimizations and Heuristics for Determinization of Büchi Automata ⋮ Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis ⋮ \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\) ⋮ Back to the future: a fresh look at linear temporal logic

This page was built for software: Strix