Maurice Dekker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICAPS | Is This Plan Necessarily Redundant? On the Computational Complexity of Unobserved Domain Learning. | Pascal Bachor, Maurice Dekker, Gregor Behnke |
| 2025 | ICAPS | Hardness of Chosen Length Planning Games and Regular Fixed Methods FOND HTN Planning. | Maurice Dekker, Gregor Behnke |
| 2024 | ECAI | Barely Decidable Fragments of Planning. | Maurice Dekker, Gregor Behnke |
| 2023 | TABLEAUX | Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. | Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema |