A Formal Analysis of Hollis' Paradox.

Thomas Ågotnes Chiaki Sakama

Published in: LORI (2023)

Keyphrases

formal analysis
formal methods
agent model
ban logic
design process
security requirements