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