Formal Methods for an Iterated Volunteer's Dilemma.

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

Published in: SBP-BRiMS (2021)

Keyphrases

formal methods
formal analysis
safety critical
knowledge based systems
model checking
formal specification
model checker
software engineering
artificial intelligence
provably correct
process algebra
modeling language
reactive systems
temporal properties
formal specification language
database
real world