Login / Signup

SAT-Based BMC Approach to Verifying Real-Time Properties of Multi-Agent Systems.

Agnieszka M. ZbrzeznyAndrzej Zbrzezny
Published in: AICCSA (2018)
Keyphrases
  • real time
  • low cost
  • bounded model checking
  • model checking
  • planning domains
  • data sets
  • website
  • control system
  • domain specific
  • vision system
  • answer set programming