Journal and Conference Papers

You might also want to check my page on DBLP.

2018

  • F. Belardinelli, W. van der Hoek, and L. B. Kuijer; Second-order Propositional Modal Logic: Expressiveness and Completeness Results. Artificial Intelligence. Accepted for publication.

  • F. Belardinelli, A. Lomuscio, V. Malvone; Approximating Perfect Recall when Model Checking Strategic Abilities. Proc. of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR2018), Tempe, 2018.

  • F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Alternating-time Temporal Logic on Finite Traces. Proc. of the 27th International Conference on Artificial Intelligence (IJCAI18), Stockholm, 2018.

  • F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Decidable Verification of Multi-agent Systems with Bounded Private Actions (extended abstract). Proc. of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS18), Stockholm, 2018.

2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2004