Paolo Felli

From MaRDI portal
Person:2060722

Available identifiers

zbMath Open felli.paoloDBLP44/8399WikidataQ62056502 ScholiaQ62056502MaRDI QIDQ2060722

List of research outcomes





PublicationDate of PublicationType
\textsc{delphic}: practical DEL planning via possibilities2024-05-29Paper
CTL* model checking for data-aware dynamic systems with arithmetic2022-12-07Paper
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions2022-02-01Paper
Situation calculus for controller synthesis in manufacturing systems with first-order state representation2021-12-13Paper
Efficient multi-agent epistemic planning: teaching planners about nested belief2021-12-13Paper
Supervisory Control for Behavior Composition2017-06-08Paper
https://portal.mardi4nfdi.de/entity/Q34572052015-12-11Paper
Description Logic Knowledge and Action Bases2013-05-02Paper

Research outcomes over time

This page was built for person: Paolo Felli

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