Alessio Lomuscio

(1 - 4 von 5

)

[ ] Formal Verification of CNN-based Perception Systems

arxiv.org

Authors:Panagiotis Kouvaros, Alessio Lomuscio. (Submitted on 28 Nov 2018). Abstract: We address the problem of verifying neural-based ...

Alessio LOMUSCIO personal appointments - Find and update company...

find-and-update.company-information.service.gov.uk

Free company information from Companies House including registered office address, filing history, accounts, annual return, officers, charges, business activity

theory.eecs.qmul.ac.uk

Alessio Lomuscio. Multi-agent systems (MAS) are distributed autonomous systems in which the components, or agents, act autonomously or collectively in order to reach private or common goals. Logic-based specifications for MAS typically do not only involve their temporal evolution, but also other agent attitudes, including ...

Verwandte Suchanfragen zu Alessio Lomuscio

Personen
Vorname "Alessio" (1309)
Name "Lomuscio" (16)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Alessio Lomuscio

[ ] Formal Verification of CNN-based Perception Systems

Alessio LOMUSCIO personal appointments - Find and update company...

Alessio Lomuscio