1
0
0
(1 - 20 von 20
)
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.
Francesco Leofante | AIMS Labaimslab.org
www.aimslab.org
Francesco Leofante. 7. Hi! I am a Ph.D. student in Computer Science working under the supervision of Erika Ábrahám (RWTH Aachen University, Germany) and ...
Erika Abraham - CatalyzeX
www.catalyzex.com
View Erika Abraham's profile, machine learning models, research papers, and code. See more researchers and engineers like Erika Abraham.
Leveraging Applications of Formal Methods, Verification and...
books.google.de
Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, and Nils Jansen On Combinations of Static and Dynamic Analysis – Panel Introduction ...
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:.
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
dblp: Francesco Leofante
dblp.uni-trier.de
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella: On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. CoRR abs (2017)
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 ...
Optimal Controllers using Bounded Model Checking and Optimization...
www.niemueller.de
... Bounded Model Checking and Optimization Modulo Theories. Francesco Leofante, Erika Abraham, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella.
Synthesis and Execution of Optimal Controllers for Multi-Robot...
www.niemueller.de
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella. Type. Journal. Publication. Information Systems Frontiers. Date.
JISCMail - PROCOS Archives
www.jiscmail.ac.uk
... Robot Swarms as Hybrid Systems,” Stefan Schupp, Francesco Leofante, Erika Abraham, RWTH Aachen University, and Armando Tacchella, ...
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 ...
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 ...
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 ...
Robot Swarms as Hybrid Systems: Modelling and VerificationUniversity of New South Wales
cgi.cse.unsw.edu.au
— (TU Wien), Francesco Leofante (Imperial College London), Leander Behr (RWTH Aachen University), Erika Ábrahám
ICAPS and CPAIOR Schedule
icaps18.icaps-conference.org
Erika Abraham, Francesco Leofante. Lecture hall E. Lecture halls E and G are in a separate building that is connected to the conference venue. The floor plan ...
Optimal Planning Modulo Theories | IJCAIwww.ijcai.org › Proceedings
www.ijcai.org
Francesco Leofante, Enrico Giunchiglia, Erika Ábráham, Armando Tacchella. Proceedings of the Twenty-Ninth International Joint Conference on Artificial ...
Task Planning with OMT: An Application to Production Logistics ...www.springerprofessional.de › task-planning-with-omt-an-application-to-p...
www.springerprofessional.de
Autoren: Francesco Leofante, Erika Ábrahám, Armando Tacchella. Verlag: Springer International Publishing. Erschienen in: Integrated Formal Methods.
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 ...
VeriVITAL - The Verification and Validation for Intelligent and...
snr2018.verivital.com
... Hybrid Systems," (preprint PDF). Stefan Schupp, Francesco Leofante, Erika Abraham, RWTH Aachen University, and Armando Tacchella, University of Genoa.
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