Unbeast

MaRDI QIDQ5974450swMATHFDO

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

Described by source

• Unbeast: Symbolic Bounded Synthesis

Cited in

(21)

• The complexity of counting models of linear-time temporal logic
• JTLV
• Linear temporal logic -- from infinite to finite horizon
• QUASY
• LTL2BA
• Practical synthesis of reactive systems from LTL specifications via parity games
• Synthesis of succinct systems
• TTM
• Synthia
• RATSY
• Efficient trace encodings of bounded synthesis for asynchronous distributed systems
• Encodings of bounded synthesis
• Acacia+
• Strix
• BluSTL
• scientific article; zbMATH DE number 7455737 (Why is no real title available?)
• scientific article; zbMATH DE number 7278100 (Why is no real title available?)
• DejaVu
• Delag
• BoSy
• Leviathan

This page was built for software: Unbeast