Daniele Magazzeni

From MaRDI portal
Person:397404

Available identifiers

zbMath Open magazzeni.danieleMaRDI QIDQ397404

List of research outcomes





PublicationDate of PublicationType
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans2023-10-02Paper
Contrastive Explanations of Plans through Model Restrictions2022-02-07Paper
Using Machine Learning for Decreasing State Uncertainty in Planning2020-12-09Paper
Planning for Hybrid Systems via Satisfiability Modulo Theories2020-05-14Paper
An Introduction to the Planning Domain Definition Language2020-04-30Paper
CASP solutions for planning in hybrid domains2017-11-09Paper
CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems2014-08-12Paper
Automated Generation of Optimal Controllers through Model Checking Techniques2010-06-02Paper

Research outcomes over time

This page was built for person: Daniele Magazzeni

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:397404&oldid=7879350"
Powered by MediaWiki