Verification and Strategy Synthesis for Coalition Announcement Logic.

Natasha Alechina Hans van Ditmarsch Rustam Galimullin Tuo Wang

Published in: J. Log. Lang. Inf. (2021)

Keyphrases

asynchronous circuits
functional programs
multi agent systems
selection strategy
verification method
logic synthesis
proof theory
bounded model checking
cooperative
computational complexity
search strategy
face verification
formal verification
natural deduction
leader follower
linear time temporal logic