Unbeast

swMATH46339MaRDI QIDQ5974450FDOQ5974450

Author name not available (Why is that?)

Described by source

• Unbeast: Symbolic Bounded Synthesis

Cited In (8)

• Title not available (Why is that?)
• Encodings of Bounded Synthesis
• Practical synthesis of reactive systems from LTL specifications via parity games
• Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems
• The complexity of counting models of linear-time temporal logic
• Synthesis of succinct systems
• Title not available (Why is that?)
• Linear temporal logic -- from infinite to finite horizon

This page was built for software: Unbeast