Francesco Leofante und Luca Pulina - Info zur Person

(1 - 14 von 17

)

ECAI 2020: 24th European Conference on Artificial Intelligence,

books.google.ru

... Francesco Leofante, Luca Pulina and Armando Tacchella Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search P. Henriksen ...

Search results for "RCRA@AI*IA" – FacetedDBLP

dblp.l3s.de

1, Francesco Leofante, Luca Pulina, Armando Tacchella · Learning with Safety Requirements: State of the Art and Open Questions. Search on Bibsonomy ...

AI*IA – Advances in Artificial IntelligenceSpringer

link.springer.com

Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella.

SMT-Based Planning for Robots in Smart Factories | Arthur Bit-Monnot

homepages.laas.fr

SMT-Based Planning for Robots in Smart Factories. Arthur Bit-Monnot, francesco leofante, luca pulina, armando tacchella. January Cite. Type. Conference ...

Publications | Arthur Bit-MonnotLAAS-CNRS

homepages.laas.fr

Arthur Bit-Monnot, francesco leofante, luca pulina, armando tacchella (2019). SMT-Based Planning for Robots in Smart Factories. IEA/AIE.

Verification of Neural Networks: Enhancing Scalability ...IOS Press

ebooks.iospress.nl

von D Guidotti · · Zitiert von: 16 — Verification of Neural Networks: Enhancing Scalability Through Pruning. Authors. Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella.

VNN19 - Programsites.google.com

sites.google.com

— 11:00 Francesco Leofante, Nina Narodytska, Luca Pulina and Armando Tacchella. Reasoning about Neural Networks: a Taxonomy of Current ...

Accepted Papers | FoMLAS 2019

fomlas2019.wixsite.com

Authors: Dario Guidotti, Francesco Leofante, Luca Pulina and Armando Tacchella Abstract: Recent public calls for the development of explainable and verifiable ...

Interpretation, Verification and Privacy Techniques for ...King Abdullah University of Science and Technology

repository.kaust.edu.sa

von A Dethise · — Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella; Algorithms for Verifying Deep Neural Networks [misc] (2019)

IOS Press Ebooks - Verification of Neural Networks: Enhancing...

ebooks.iospress.nl

Verification of Neural Networks: Enhancing Scalability Through Pruning. Authors. Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella. Pages.

Program | FoMLAS 2019Wix.com

fomlas2019.wixsite.com

Dario Guidotti, Francesco Leofante, Luca Pulina and Armando Tacchella. 10:54-11:18: Verification of RNN-Based Neural Agent-Environment Systems.

fairXiv.org

fairxiv.org

Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella · arXiv: v1 »Full PDF ». Accepted at ECAI cs.LGcs.NESimilar Verification ...

SMarTplan: a Task Planner for Smart Factories - 专知论文

www.zhuanzhi.ai

SMarTplan: a Task Planner for Smart Factories. Arthur Bit-Monnot,Francesco Leofante,Luca Pulina,Erika Abraham,Armando Tacchella. Smart factories are on ...

Alle Infos zum Namen "Francesco Leofante"

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

Francesco Leofante und Luca Pulina Person-Info