Search Results - Lomuscio, Alessio

Alessio Lomuscio

Alessio Lomuscio is a professor of Safe Artificial Intelligence at the Department of Computing at Imperial College London. His research focuses on the verification of autonomous systems, specifically on providing formal safety guarantees for both Multi-agent systems as well as Machine Learning-enabled systems. Provided by Wikipedia
  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Cover Image

    Model checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers /

    Published 2007
    Other Authors: “…Lomuscio, Alessio…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings /

    Published 2004
    Other Authors: “…Lomuscio, Alessio…”
    Access full-text online
    Conference Proceeding Book

    Save to List
    Saved in:
  3. 3
    Cover Image

    Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings /

    Published 2004
    Other Authors: “…Lomuscio, Alessio…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  4. 4
    Cover Image

    Service-oriented computing-- ICSOC 2013 Workshops : CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers /

    Published 2014
    Other Authors: “…Lomuscio, Alessio…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search