A logical framework to model software development by multiple agents following a common specification.

Georgios V. Pitsiladis Petros S. Stefaneas

Published in: CoRR (2022)

Keyphrases

logical framework
multiple agents
software development
probabilistic model
case study
dynamic programming
decision theoretic