Unbeast

swMATH46339MaRDI QIDQ5974450FDOQ5974450

Author name not available (Why is that?)

Official website: https://www.ruediger-ehlers.de/papers/tacas2011.pdf

Described by source

• Unbeast: Symbolic Bounded Synthesis

Cited In (21)

• Title not available (Why is that?)
• Practical synthesis of reactive systems from LTL specifications via parity games
• Leviathan
• BoSy
• Delag
• 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
• JTLV
• QUASY
• LTL2BA
• TTM
• Synthia
• RATSY
• Acacia+
• Strix
• BluSTL
• Encodings of bounded synthesis
• Efficient trace encodings of bounded synthesis for asynchronous distributed systems
• DejaVu

This page was built for software: Unbeast