Bounded model checking for knowledge and linear time - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny. Bounded model checking for knowledge and linear time. In Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff, editors, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes). pages 1447-1448, IFAAMAS, 2012. [doi]

This author has not been identified. Look up 'Artur Meski' in GoogleThis author has not been identified. Look up 'Wojciech Penczek' in GoogleThis author has not been identified. Look up 'Maciej Szreter' in GoogleThis author has not been identified. Look up 'Bozena Wozna-Szczesniak' in GoogleThis author has not been identified. Look up 'Andrzej Zbrzezny' in Google

runs on WebDSL