Formal methods for aN Iterated volunteer's dilemma.

Jacob Dineen A. S. M. Ahsan-Ul-Haque Matthew Bielskas

Published in: CoRR (2020)

Keyphrases

formal methods
model checking
formal analysis
software engineering
model checker
artificial intelligence
safety critical
formal specification
knowledge based systems
temporal properties
process algebra
provably correct
temporal logic
database
multi agent
machine learning
real world