Graded CTL* over Finite Paths.
Loredana SorrentinoSasha RubinAniello MuranoPublished in: ICTCS (2018)
Keyphrases
- alternating time temporal logic
- linear temporal logic
- model checking
- temporal logic
- computation tree logic
- imperfect information
- unit length
- temporal properties
- real time
- path finding
- optimal path
- bounded model checking
- information systems
- finite automata
- finite number
- path planning
- shortest path
- data model
- bayesian networks
- website