Switch to: References

Add citations

You must login to add citations.
  1. Parameterised verification for multi-agent systems.Panagiotis Kouvaros & Alessio Lomuscio - 2016 - Artificial Intelligence 234 (C):152-189.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Quantified epistemic logics for reasoning about knowledge in multi-agent systems.F. Belardinelli & A. Lomuscio - 2009 - Artificial Intelligence 173 (9-10):982-1013.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Bounded model checking for knowledge and real time.Alessio Lomuscio, Wojciech Penczek & Bożena Woźna - 2007 - Artificial Intelligence 171 (16-17):1011-1038.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Verification of multi-agent systems with public actions against strategy logic.Francesco Belardinelli, Alessio Lomuscio, Aniello Murano & Sasha Rubin - 2020 - Artificial Intelligence 285 (C):103302.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-5d8df9484f-nsbkm uwo