1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2024★ 1 cited
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…
cs.SE2023
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…