BoSy

swMATH46014MaRDI QIDQ5974888FDOQ5974888

Author name not available (Why is that?)

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

Cited In (8)

• Title not available (Why is that?)
• Practical synthesis of reactive systems from LTL specifications via parity games
• Clausal abstraction for DQBF
• Live synthesis
• Linear temporal logic -- from infinite to finite horizon
• Synthesis from hyperproperties
• Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis
• Compositional synthesis of modular systems

This page was built for software: BoSy