Generate 4F elevator automaton from LTL by using strix.
- Linear temporal logic
- strix
- owl
- ltl to automaton library used in strix.
- strix paper
- syntcomp
- syntcomp-2019-results
- SYNTCOMP2019-SYNT.pdf
- strix is winner of this competition
- TLSF
-
Notifications
You must be signed in to change notification settings - Fork 0
cloverrose/elevator-ltl-strx
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Generate 4F elevator automaton from LTL by using strix.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published