Publications
2024
- Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective PlanningProceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024
- Towards Feasible Higher-Dimensional Potential HeuristicsProceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024🖺 PDF10.1609/ICAPS.V34I1.31478
- On the Computational Complexity of Stackelberg Planning and Meta-Operator VerificationProceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024
- Merge-and-Shrink Heuristics for SSPs with Prune TransformationsProceedings of the 27th European Conference on Artificial Intelligence, ECAI 2024
- Safety Verification of Tree-Ensemble Policies via Predicate AbstractionProceedings of the 27th European Conference on Artificial Intelligence, ECAI 2024
2023
- Analyzing neural network behavior through deep statistical model checkingInternational Journal on Software Tools for Technology Transfer
- Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning26th European Conference on Artificial Intelligence, ECAI 2023
- Lifted Stackelberg PlanningProceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, ICAPS 2023
- A Theory of Merge-and-Shrink for Stochastic Shortest Path ProblemsProceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, ICAPS 2023
2022
- Conflict-driven learning in AI planning state-space searchPh.D. Thesis
- Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on RacetrackProceedings of the 26th International Conference Information Visualisation, IV 2022🖺 PDF10.1109/IV56949.2022.00011
- Neural Network Action Policy Verification via Predicate AbstractionProceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022
- Debugging a Policy: Automatic Action-Policy Testing in AI PlanningProceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022
- Pattern Selection Strategies for Pattern Databases in Probabilistic PlanningProceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022
- Classical Planning with Avoid ConditionsProceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022
- Expressivity of Planning with Horn Description Logic OntologiesProceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022
2021
- Making DL-Lite Planning PracticalProceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021
- Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HADProceedings of the 23rd ACM International Conference on Multimodal Interaction, ICMI '21🖺 PDF10.1145/3462244.3479884
- Pattern Databases for Goal-Probability Maximization in Probabilistic PlanningProceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021
- Faster Stackelberg Planning via Symbolic Search and Information SharingProceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021
2020
- Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical ComparisonJournal of Artificial Intelligence Research🖺 PDF10.1613/jair.1.11595
- TraceVis: Towards Visualization for Deep Statistical Model CheckingProceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020🖺 PDF10.1007/978-3-030-83723-5\_3
- Towards Dynamic Dependable Systems Through Evidence-Based Continuous CertificationProceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020🖺 PDF10.1007/978-3-030-61470-6\_25
- Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful PropertiesProceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020🖺 PDF10.24963/ijcai.2020/566
- Deep Statistical Model CheckingProceedings of the 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020🖺 PDF10.1007/978-3-030-50086-3\_6
- Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model CheckingProceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020
- A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription PlanningProceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020
2019
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)Proceedings of the 25th Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019🖺 PDF10.1007/978-3-030-17502-3\_5
- Towards automated network mitigation analysisProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019🖺 PDF10.1145/3297280.3297473
- Bridging the Gap between Abstractions and Critical-Path Heuristics via HypergraphsProceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2018
2018
- LP Heuristics over Conjunctions: Compilation, Convergence, Nogood LearningProceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018🖺 PDF10.24963/ijcai.2018/672
- Formally Reasoning about the Cost and Efficacy of Securing the Email InfrastructureProceedings of the 2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018🖺 PDF10.1109/EuroSP.2018.00014
- On Stubborn Sets and Planning with ResourcesProceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018
- Simulated Penetration Testing as Contingent PlanningProceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018
- Compiling Probabilistic Model Checking into Probabilistic PlanningProceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018
- Stackelberg Planning: Towards Effective Leader-Follower State Space SearchProceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, AAAI 2018
2017
- State space search nogood learning: Online refinement of critical-path dead-end detectors in planningArtificial Intelligence Journal🖺 PDF10.1016/j.artint.2016.12.002
- Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap LearningProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017🖺 PDF10.24963/ijcai.2017/614
- Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online LearningProceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017
- Beyond Red-Black Planning: Limited-Memory State VariablesProceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017
2016
- Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the ArtJournal of Artificial Intelligence Research🖺 PDF10.1613/jair.5153
- Combining the Delete Relaxation with Critical-Path Heuristics: A Direct CharacterizationJournal of Artificial Intelligence Research🖺 PDF10.1613/jair.5057
- Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its ApplicationsProceedings of the Ninth Annual Symposium on Combinatorial Search, SOCS 2016
- Revisiting Goal Probability Analysis in Probabilistic PlanningProceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016
- Towards Clause-Learning State Space Search: Learning to Recognize Dead-EndsProceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI 2016