1
0
0
News
Serious Game all’Università - Il Secolo XIX
www.ilsecoloxix.it
... Clarissa Molfino e Beatrice Di Paola) hanno battuto Larretta (Francesco Leofante, Sebastiano Giaimo e Valentina Sacco) e Ponente (Paolo ...
PhD-iFM'18 | Maynooth University
www.maynoothuniversity.ie
· 16: :05 Francesco Leofante, Erika Abraham and Armando Tacchella. Task Planning with OMT: an Application to Production Logistics.
Netzwerk-Profile
LinkedIn: Francesco Leofante - PhD Student - RWTH Aachen University | LinkedIn
Sehen Sie sich das Profil von Francesco Leofante auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 2 Jobs sind im Profil von Francesco Leofante ...
LinkedIn: Francesco Leofante - Research Associate - Imperial College ...uk.linkedin.com › francescoleofante
Francesco Leofante | London, United Kingdom | Research Associate at Imperial College London | 349 connections | See Francesco's complete profile on ...
LinkedIn: Francesco Leofante - PhD Student - RWTH Aachen University | LinkedIn
Visualizza il profilo di Francesco Leofante su LinkedIn, la più grande comunità professionale al mondo. Francesco ha indicato 2 esperienze lavorative sul suo ...
Firmen-Mitarbeiter
Programme CommitteeUniversity of Southampton
aamas2023.soton.ac.uk
Francesco Leofante Qingbiao Li Pieter Libin Renan Lima Baima Enrico Liscio Qun Liu Wulong Liu Simon Mayer Sara Mehryar Reshef Meir Yasser Mohammad
Bücher
Alessio LomuscioCSAuthors
www.csauthors.net
Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. Panagiotis Kouvaros. ,. Trent Kyono. ,. Francesco Leofante. ,. Alessio Lomuscio. ,.
Author: Francesco LeofanteEasyChair
easychair.org
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan and ...
AI*IA Advances in Artificial Intelligence: XVth ...google.ch
books.google.ch
Learning in Physical Domains: Mating Safety Requirements and Costly Sampling Francesco Leofante and Armando Tacchella(B) DIBRIS, Universit`a Degli Studi di ...
Antonio Geraldini (+ 1488): - Seite Google Books-Ergebnisseitegoogle.ch
books.google.ch
... Pietro Francesco - , Publio Francesco Leofante , Niccolò de Lignamine , Antonio de - , Giovanni Filippo Lippi , Lorenzo Lucio Marineo Siculo Ludwig XI .
Dokumente zum Namen
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 ...
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,.
Wissenschaftliche Veröffentlichungen
Francesco Leofante - Theory of Hybrid Systems - RWTH-AachenRWTH-Aachen
ths.rwth-aachen.de
Francesco Leofante · I moved to Imperial College London. · Please visit my new webpage.
Organization - KR TU DortmundTU Dortmund
kr2022.cs.tu-dortmund.de
... Tiep Le New Mexico State University, USA; Michel Leclère LIRMM, Inria, University of Montpellier, France; Francesco Leofante Imperial College London, UK ...
Repairing misclassifications in neural networks using limited ...Dagstuhl
dblp.dagstuhl.de
— Patrick Henriksen, Francesco Leofante, Alessio Lomuscio (2022). top; bottom. mirror. Dagstuhl. Trier. > Home. [+][–]. Details and statistics.
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in...
publications.rwth-aachen.de
Leofante, Francesco; Ábrahám, Erika; Niemüller, Tim Dieter; Lakemeyer, Gerhard; Tacchella, Armando
Veröffentlichungen allgemein
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.
Algorithms, Tools and Applications (PhD-iFM'17) Erika ...Dominic Steinhöfel
www.dominic-steinhoefel.de
von E Abraham · — Francesco Leofante. On the Community Structure of SAT-BMC Problems. Xavier Gillard and Charles Pecheur. Formal Verification of CNL Health Recommendations.
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.
PublicationsTim Niemueller
www.niemueller.de
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella. Synthesis and Execution of Optimal Controllers for Multi-Robot ...
Artikel & Meinungen
JISCMail - PROCOS Archives
www.jiscmail.ac.uk
... Robot Swarms as Hybrid Systems,” Stefan Schupp, Francesco Leofante, Erika Abraham, RWTH Aachen University, and Armando Tacchella, ...
Sonstiges
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 ...
Francesco Leofante · SlidesLiveslideslive.ch
slideslive.ch
Francesco Leofante. 0 Follower:innen. Folgen. Präsentationen 1 Events 1 Follower:innen 0 Über · Verification-friendly Networks: the Case for Parametric ...
Francesco Leofante's research works | Imperial College ...ResearchGate
www.researchgate.net
Francesco Leofante's 22 research works with 72 citations and reads, including: OMTPlan: A Tool for Optimal Planning Modulo Theories.
Francesco Leofante joins the groupImperial College London
vas.doc.ic.ac.uk
— Dr. Francesco Leofante has joined the VAS group as postdoctoral researcher after completing his PhD with the Theory of Hybrid Systems group ...
– Talk: “Robust Counterfactual Explanations ...itu.dk
square.itu.dk
— Francesco Leofante will give a talk about his work on Robust Counterfactual Explanations for Deep Neural Networks. Details below. SPEAKER.
CPS Workshop - Program - CPS Summer Schoolcpsschool.eu
www.cpsschool.eu
15:30, Dario Guidotti and Francesco Leofante, Repair of Convolutional Neural Networks using Convex Optimization: Preliminary Experiments.
Chelsea SidraneChelsea Sidrane
www.chelseasidrane.com
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, ...
Contributor | Assured Autonomy Tools Portalassured-autonomy.org
assured-autonomy.org
Francesco Leofante's Publications. Formal Analysis of Neural Network-based Systems in the Aircraft Domain. Powered by the Cyber-Physical Systems Virtual ...
DOI - The European Council for Modelling and Simulationscs-europe.net
www.scs-europe.net
Francesco Leofante, Stefan Schupp, Erika Abraham, Armando Tacchella. Published in: (2019). ECMS Proceedings Edited by: Mauro Iacono, Francesco Palmieri ...
Formalising the Robustness of Counterfactual Explanations ...paperreading.club
paperreading.club
Formalising the Robustness of Counterfactual Explanations for Neural Networks :11:23. Junqi Jiang, Francesco Leofante, Antonio Rago, ...
Guaranteed Plans for Multi-Robot Systems via Optimization ...AAAI
aaai.org
Francesco Leofante. RWTH Aachen University. DOI: aaai.v32i Abstract: Industries are on the brink of widely accepting a new paradigm for ...
Improving Reliability of Myocontrol Using Formal VerificationNational Institutes of Health (.gov)
pubmed.ncbi.nlm.nih.gov
von D Guidotti · · Zitiert von: 13 — Dario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini. PMID: ; DOI: TNSRE
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)
Journal of Data Processing - dline.infodline.info
www.dline.info
Dario Guidotti, Francesco Leofante Page: Abstract_ · Full_Text MB Download: 70 times https://doi.org jdp Book Review.
Optimal Planning Modulo TheoriesInternational Joint Conferences on Artificial Intelligence
www.ijcai.org
Francesco Leofante, Enrico Giunchiglia, Erika Ábráham, Armando Tacchella ... We consider the problem of planning with arithmetic theories, and focus on generating ...
Organization – KR 2023KR.org
kr.org
... Tiep Le, Intel Lab, Intel, United States; Francesco Leofante, Imperial College London, United Kingdom; Piyawat Lertvittayakumjorn, Google, United States ...
Program Committee Members - aamas 2022University of Auckland
aamas2022-conference.auckland.ac.nz
Manuela Chessa, Francesco Leofante, Samarth Swarup. Mathieu Chollet, Yves Lespérance, Armando Tacchella. Amit Chopra, Joshua Letchford, Nimrod Talmon.
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.
PublicationsVanderbilt University
aavo-staging.isis.vanderbilt.edu
Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos Margineantu, Denis Osipychev, Yang Zheng. The 24th International Symposium on ...
TutorialsICAPS conference
icaps18.icaps-conference.org
T7, SMT Solving for AI Planning: Theory, Tools and Applications, Erika Abraham, Francesco Leofante, Link. T8, Timeline-based Planning and Execution: Theory ...
Verwandte Suchanfragen zu Francesco Leofante
Erika Abraham Gerhard Lakemeyer Alessio Lomuscio | Amir Maleki |
Personen Vorname "Francesco" (7401) Name "Leofante" (1) |
sortiert nach Relevanz / Datum