1 citations · 2 across the 4 of their papers we have counts for
4 papers
Real-World Planning with PDDL+ and Beyond
Wiktor Piotrowski, Alexandre Perez
Real-world applications of AI Planning often require a highly expressive modeling language to accurately capture important intricacies of target systems. Hybrid systems are ubiquit…
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
Ali Shokri, Alexandre Perez, Souma Chowdhury +6
We introduce a novel approach to automatically synthesize a mathematical representation of the control algorithms implemented in industrial cyber-physical systems (CPS), given the…
System Resilience through Health Monitoring and Reconfiguration
Ion Matei, Wiktor Piotrowski, Alexandre Perez +4
We demonstrate an end-to-end framework to improve the resilience of man-made systems to unforeseen events. The framework is based on a physics-based digital twin model and three mo…
Playing Angry Birds with a Domain-Independent PDDL+ Planner
Wiktor Piotrowski, Roni Stern, Matthew Klenk +4
This demo paper presents the first system for playing the popular Angry Birds game using a domain-independent planner. Our system models Angry Birds levels using PDDL+, a planning…