Showing 1–20 of 25 results
/ Date/ Name
Jan 29, 2007Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in<br> SAT-Based PlanningMar 17, 2022Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)Jul 30, 2013Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetrationJul 31, 2013POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration TestingJan 16, 2014Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+Aug 13, 2024Decision-Focused Learning to Predict Action Costs for PlanningOct 27, 2025Planning Ahead with RSA: Efficient Signalling in Dynamic Environments by Projecting User Awareness across Future TimestepsFeb 18, 2025A thin film source in a solid-state diffusion experiment: CoO on SrTiO3May 1, 2025Per-Domain Generalizing Policies: On Validation Instances and Scaling BehaviorJan 14, 2015PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case LawOct 21, 2020Safe Handover in Mixed-Initiative Control for Cyber-Physical SystemsSep 16, 2020Tailoring c-axis orientation in epitaxial Ruddlesden-Popper Pr$_{0.5}$Ca$_{1.5}$MnO$_{4}$ filmsNov 16, 2023Automating the Generation of Prompts for LLM-based Action Choice in PDDL PlanningFeb 9, 2026Intelligent support for Human Oversight: Integrating Reinforcement Learning with Gaze Simulation to Personalize HighlightingAug 19, 2025Improved Generalized Planning with LLMs through Strategy Refinement and ReflectionAug 3, 2020Tracking the Race Between Deep Reinforcement Learning and Imitation Learning -- Extended VersionJun 13, 2022Specifying and Testing $k$-Safety Properties for Machine-Learning ModelsMar 18, 2026Per-Domain Generalizing Policies: On Learning Efficient and Robust Q-Value Functions (Extended Version with Technical Appendix)Oct 8, 2020Generating Instructions at Different Levels of AbstractionMay 15, 2017Towards Automated Network Mitigation Analysis (extended)