Francesco Leofante - Dokumente zum Namen

(1 - 12 von 12

)

Un approfondimento in Robotica

de.slideshare.net

Attività formativa alternativa a.a Un approfondimento in Robotica Francesco Leofante 3 Febbraio Francesco Leofante Attività formativa alternati…

[ ] Automated Verification of Neural Networks: Advances,...

arxiv.org

Submission history. From: Francesco Leofante [view email] [v1] Fri, 25 May :19:57 UTC (31 KB). Full-text links: ...

SMT Solving for AI Planning: Theory, Tools and ...

documents.pub

· SMT Solving for AI Planning: Theory, Tools and Applications Erika Ábrahám Francesco Leofante RWTH Aachen University, Germany RWTH Aachen University, Germany

Formalising the Robustness of Counterfactual ...arXiv

arxiv.org

von J Jiang · · Zitiert von: 2 — Formalising the Robustness of Counterfactual Explanations for Neural Networks. Authors:Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca ...

[ ] On the Synthesis of Guaranteed-Quality Plans for Robot...

arxiv.org

· Submission history. From: Francesco Leofante [view email] [v1] Sun, 12 Nov :31:25 UTC (232 KB). Full-text links: ...

1 Procedura comparativa pubblica, per titoli e colloquio, bandita ...uniss.it

www.uniss.it

Il Presidente comunica che al concorso ha presentato domanda di partecipazione il candidato: Dott. Francesco Leofante, nato a Genova il

AAMAS Programme CommitteeIFAAMAS

www.ifaamas.org

Francesco Leofante. Yves Lespérance. Joshua Letchford. Bo Li. Guangliang Li. Minming Li. Shuai Li. Page 3. Weihua Li. Beishui Liao. Pieter Libin.

Contentsadmin.ch

opac.admin.ch

and Marco Veneroni. Repairing Learned Controllers with Convex Optimization: A Case Study Dario Guidotti, Francesco Leofante, Claudio Castellini,.

Information Systems Frontiersunige.it

iris.unige.it

Francesco Leofante. Erika Ábrahám. Tim Niemueller. Gerhard Lakemeyer. Armando Tacchella. Order of Authors Secondary Information: Funding Information:.

Towards Robust Contrastive Explanations for Human- ...University of Southampton

www.southampton.ac.uk

von F Leofante — Francesco Leofante and Alessio Lomuscio Towards Robust Contrastive. Explanations for Human-Neural Multi-Agent Systems: Extended ...

Planning as Satisfiability for Cyber-Physical SystemsCEUR-WS

ceur-ws.org

von F Leofante — Francesco Leofante⋆. University of Genoa, Genoa, Italy. RWTH Aachen University, Aachen, Germany. Abstract. Planning as Satisfiability is one of the most ...

Verwandte Suchanfragen zu Francesco Leofante

Erika Abraham
Gerhard Lakemeyer
Alessio Lomuscio

Amir Maleki

Personen
Vorname "Francesco" (7401)
Name "Leofante" (1)

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 Francesco Leofante