Daniele Magazzeni

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans (available as arXiv preprint)	2023-10-02	Paper
Contrastive Explanations of Plans through Model Restrictions Journal of Artificial Intelligence Research	2022-02-07	Paper
Using machine learning for decreasing state uncertainty in planning Journal of Artificial Intelligence Research	2020-12-09	Paper
Planning for hybrid systems via satisfiability modulo theories Journal of Artificial Intelligence Research	2020-05-14	Paper
An introduction to the planning domain definition language Synthesis Lectures on Artificial Intelligence and Machine Learning	2020-04-30	Paper
CASP solutions for planning in hybrid domains Theory and Practice of Logic Programming	2017-11-09	Paper
CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems European Journal of Control	2014-08-12	Paper
Automated generation of optimal controllers through model checking techniques Informatics in Control Automation and Robotics	2010-06-02	Paper

Research outcomes over time

This page was built for person: Daniele Magazzeni