Sign in

Issues with Path Representation in Transition Systems.

Yi ZhengPei HeChi-Chang ChangYafen Liu
Published in: ACIT/CSII/BCD (2017)
Keyphrases
  • transition systems
  • temporal logic
  • concurrent systems
  • model checking
  • artificial intelligence
  • source code
  • markov chain
  • dynamic environments
  • finite state