BoSy

swMATH46014MaRDI QIDQ5974888FDOQ5974888

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/1803.09566

Source code repository: https://github.com/reactive-systems/bosy

Cited In (17)

• Title not available (Why is that?)
• Unbeast
• Practical synthesis of reactive systems from LTL specifications via parity games
• Clausal abstraction for DQBF
• Live synthesis
• Semantic labelling and learning for parity game solving in LTL synthesis
• Linear temporal logic -- from infinite to finite horizon
• SPOT
• JTLV
• QUASY
• RATSY
• Acacia+
• Strix
• Synthesis from hyperproperties
• Owl
• Oink
• Compositional synthesis of modular systems

This page was built for software: BoSy