We leverage on the work [1] below extended to handle LTL_f through rewriting to LTL.
[1] Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta: Boolean Abstraction for Temporal Logic Satisfiability. CAV 2007: 532-546
-
Notifications
You must be signed in to change notification settings - Fork 1
roveri-marco/ltlfuc
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Packages 0
No packages published