Sign in

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.

Simon FosterKangfeng YeAna CavalcantiJim Woodcock
Published in: RAMiCS (2018)
Keyphrases
  • agent architecture
  • reactive planning
  • database
  • query language
  • logic programming
  • computer programs