Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs

von Steinmetz, Marcel
Veröffentlicht in International Conference on Automated Planning and Scheduling (29. : 2019 : Berkeley, Calif.) Proceedings of the Twenty-ninth International Conference on Automated Planning and Scheduling (2019)

On Stubborn Sets and Planning with Resources

von Wilhelm, Anna
Veröffentlicht in International Conference on Automated Planning and Scheduling (28. : 2018 : Delft) Proceedings of the Twenty-eighth International Conference on Automated Planning and Scheduling (2018)

PATTERN DATABASES FOR GOAL-PROBABILITY MAXIMIZATION IN PROBABLISTIC PLANNING

von Klößner, Thorsten
Veröffentlicht in International Conference on Automated Planning and Scheduling (31. : 2021 : Online) Thirty-first International Conference on Automated Planning and Scheduling (ICAPS 2021) (2021)

A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems

von Klößner, Thorsten
Veröffentlicht in International Conference on Automated Planning and Scheduling (33. : 2023 : Prag) Thirty-third International Conference on Automated Planning and Scheduling (ICAPS 2023) (2023)

Simulated Penetration Testing as Contingent Planning

von Shmaryahu, Dorin
Veröffentlicht in International Conference on Automated Planning and Scheduling (28. : 2018 : Delft) Proceedings of the Twenty-eighth International Conference on Automated Planning and Scheduling (2018)

Lifted Stackelberg Planning

von Sauer, Philipp
Veröffentlicht in International Conference on Automated Planning and Scheduling (33. : 2023 : Prag) Thirty-third International Conference on Automated Planning and Scheduling (ICAPS 2023) (2023)

Deep Statistical Model Checking

von Gros, Timo P.
Veröffentlicht in FORTE (40. : 2020 : Online) Formal techniques for distributed objects, components, and systems (2020)

Planning for Human-Robot Collaboration using Markov Decision Process

von Rekik, Khansa
Veröffentlicht in Robotix-Academy Conference for Industrial Robotics (3. : 2019 : Lüttich) Robotix-Academy Conference for Industrial Robotics (RACIR) 2019 (2020)

TraceVis: Towards Visualization for Deep Statistical Model Checking

von Gros, Timo P.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification

von Faqeh, Rasha
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles (2020)