swMATH25260MaRDI QIDQ37002FDOQ37002
Author name not available (Why is that?)
Official website: http://lit2.ulb.ac.be/acaciaplus/
Cited In (35)
- Title not available (Why is that?)
- Unbeast
- Practical synthesis of reactive systems from LTL specifications via parity games
- Leviathan
- BoSy
- The complexity of counting models of linear-time temporal logic
- Looking at mean payoff through foggy windows
- Non-prenex QBF solving using abstraction
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
- Title not available (Why is that?)
- Semantic labelling and learning for parity game solving in LTL synthesis
- Linear temporal logic -- from infinite to finite horizon
- JTLV
- QUASY
- Casaal
- LTL2BA
- CirQit2
- QMiraXT
- TTM
- Synthia
- UPPAAL TIGA
- RATSY
- CoSyma
- Antichains
- ROCS
- Strix
- BluSTL
- Safraless LTL synthesis considering maximal realizability
- Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time
- Encodings of bounded synthesis
- Owl
- Efficient trace encodings of bounded synthesis for asynchronous distributed systems
- Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
- Symbolic model checking in non-Boolean domains
- DejaVu
This page was built for software: Acacia+
