Sebastian Sardiña

Available identifiers

Publication	Date of Publication	Type
Fast and accurate data-driven goal recognition using process mining techniques	2023-10-04	Paper
Norm enforcement as supervisory control	2022-11-02	Paper
Flexible FOND Planning with Explicit Fairness Assumptions	2022-08-02	Paper
Situation calculus for controller synthesis in manufacturing systems with first-order state representation	2021-12-13	Paper
Expecting the unexpected: goal recognition for rational and irrational agents	2021-11-02	Paper
Compositional Supervisory Control via Reactive Synthesis and Automated Planning	2020-10-07	Paper
HTN-like solutions for classical planning problems: an application to BDI agent systems	2019-02-21	Paper
Cost-Based Goal Recognition in Navigational Domains	2019-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4576248	2018-07-12	Paper
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis	2018-05-02	Paper
Incremental execution of guarded theories	2017-06-13	Paper
Supervisory Control for Behavior Composition	2017-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q5740456	2016-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q5740458	2016-07-26	Paper
Agent planning programs	2015-12-28	Paper
Automatic behavior composition synthesis	2013-08-23	Paper
Reasoning about Agent Programs Using ATL-Like Logics	2012-09-21	Paper
Qualitative Approximate Behavior Composition	2012-09-21	Paper
Local Conditional High-Level Robot Programs	2011-05-06	Paper
On the semantics of deliberation in IndiGolog -- from theory to implementation	2004-08-10	Paper

This page was built for person: Sebastian Sardiña