Observability of Finite Labeled Transition Systems.
Kuize ZhangTing LiuDaizhan ChengPublished in: IEEE Trans. Autom. Control. (2018)
Keyphrases
- transition systems
- model checking
- temporal logic
- concurrent systems
- finite state
- fully observable
- control flow
- partial observability
- training data
- reactive systems
- practical reasoning
- supervised learning
- partially observable
- case study
- petri net
- search space
- reinforcement learning
- data flow
- social networks
- model checker