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?)
• Practical synthesis of reactive systems from LTL specifications via parity games
• 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
• Encodings of bounded synthesis
• Efficient trace encodings of bounded synthesis for asynchronous distributed systems

This page was built for software: Unbeast