Truth Tables to Binary Decision Diagrams in Modern ATL.
Dennis WagelaarThéo Le CalvarFrédéric JouaultPublished in: TTC@STAF (2019)
Keyphrases
- binary decision diagrams
- model checking
- symbolic model checking
- boolean functions
- temporal logic
- alternating time temporal logic
- multi agent systems
- database
- planning problems
- databases
- formal verification
- variable ordering
- expert systems
- knowledge compilation
- knowledge representation
- state space
- data mining
- formal methods
- data sets