Sign in

Control of infinite Symbolic Transition Systems under partial observation.

Gabriel KalyonTristan Le GallHervé MarchandThierry Massart
Published in: ECC (2009)
Keyphrases
  • transition systems
  • model checking
  • temporal logic
  • concurrent systems
  • control flow
  • practical reasoning
  • case study
  • dynamic programming
  • markov decision processes
  • finite state
  • reactive systems