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

Simon Foster Kangfeng Ye Ana Cavalcanti Jim Woodcock

Published in: RAMiCS (2018)

Keyphrases

agent architecture
reactive planning
database
query language
logic programming
computer programs