"Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest" By @MattLuckcuck and Rafael C. Cardoso (2022) #FormalMethods @AgentContest
Engineering Multi-Agent Systems
Springer International Publishing
"Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest" By @MattLuckcuck and Rafael C. Cardoso (2022) #FormalMethods @AgentContest
RT @louiseadennis: Two papers from the @AandVNetwork in the recent EMAS 2021 proceedings: Implementing Ethical Governors in BDI by Cardo…
RT @louiseadennis: Two papers from the @AandVNetwork in the recent EMAS 2021 proceedings: Implementing Ethical Governors in BDI by Cardo…
Two papers from the @AandVNetwork in the recent EMAS 2021 proceedings: Implementing Ethical Governors in BDI by Cardoso et al. and Implementing Durative Actions with Failure Detection in Gwendolen by Stringer et al. https://t.co/McjrGtcTBn Clearly we