Symbolic model checking for discrete real-time systems.
Xiangyu LuoLijun WuQingliang ChenHaibo LiLixiao ZhengZuxi ChenPublished in: Sci. China Inf. Sci. (2018)
Keyphrases
- real time systems
- symbolic model checking
- model checking
- partial observability
- real time
- formal verification
- distributed systems
- embedded systems
- symbolic representation
- binary decision diagrams
- conformant planning
- real time embedded
- model checker
- planning domains
- real valued
- information processing
- data structure
- web services
- artificial intelligence