Strix
From MaRDI portal
swMATH33422MaRDI QIDQ45131FDOQ45131
Author name not available (Why is that?)
Official website: https://strix.model.in.tum.de
Cited In (42)
- Title not available (Why is that?)
- AALpy
- Unbeast
- Adapting behaviors via reactive synthesis
- A Unified Translation of Linear Temporal Logic to ω-Automata
- Title not available (Why is that?)
- Polsat
- BoSy
- Delag
- Sylvan
- 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
- Semantic labelling and learning for parity game solving in LTL synthesis
- Linear temporal logic -- from infinite to finite horizon
- Title not available (Why is that?)
- SPOT
- JTLV
- QUASY
- TTM
- PGSolver
- RATSY
- Jimple
- CoSyma
- PESSOA
- TuLiP
- Rabinizer
- ROCS
- LTLMoP
- Acacia+
- Mungo
- pFaces
- GenMul
- multgen
- Title not available (Why is that?)
- Owl
- Oink
- Seminator 2
- MoChiBA
- \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\)
This page was built for software: Strix
