Login / Signup

Bounded Strong Satisfiability Checking of Reactive System Specifications.

Masaya ShimakawaShigeki HagiharaNaoki Yonezaki
Published in: IEICE Trans. Inf. Syst. (2014)
Keyphrases
  • reactive systems
  • high level
  • database systems
  • delay insensitive
  • computer vision
  • objective function
  • multi agent
  • search algorithm
  • expert systems
  • finite state machines
  • formal specification
  • reactive planning