Strix
From MaRDI portal
Cited in
(42)- scientific article; zbMATH DE number 7455737 (Why is no real title available?)
- Adapting behaviors via reactive synthesis
- A Unified Translation of Linear Temporal Logic to ω-Automata
- scientific article; zbMATH DE number 7455738 (Why is no real title available?)
- Polsat
- Back to the future: a fresh look at linear temporal logic
- New optimizations and heuristics for determinization of Büchi automata
- Live synthesis
- Incorporating monitors in reactive synthesis without paying the price
- Runtime enforcement of hyperproperties
- SPOT
- JTLV
- QUASY
- TTM
- PGSolver
- RATSY
- Semantic labelling and learning for parity game solving in LTL synthesis
- Jimple
- CoSyma
- PESSOA
- TuLiP
- Rabinizer
- ROCS
- LTLMoP
- Acacia+
- Mungo
- pFaces
- GenMul
- multgen
- Linear temporal logic -- from infinite to finite horizon
- scientific article; zbMATH DE number 7453081 (Why is no real title available?)
- Sylvan
- Oink
- AALpy
- scientific article; zbMATH DE number 7453080 (Why is no real title available?)
- Seminator 2
- Unbeast
- Owl
- MoChiBA
- BoSy
- Delag
- \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\)
This page was built for software: Strix
