Alexandre Perez | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Souma Chowdhury
25 publications
Roni Stern
17 publications
Chen Zeng
14 publications
Johan de Kleer
12 publications
Shiwali Mohan
12 publications
Ion Matei
10 publications
Matthew Klenk
7 publications
Ali Shokri
6 publications
Wiktor Piotrowski
6 publications
Shantanu Rane
5 publications
Jacob Le
3 publications

research

∙ 08/01/2023

CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems

We introduce a novel approach to automatically synthesize a mathematical...

0 Ali Shokri, et al. ∙

research

∙ 08/30/2022

System Resilience through Health Monitoring and Reconfiguration

We demonstrate an end-to-end framework to improve the resilience of man-...

19 Ion Matei, et al. ∙

research

∙ 07/09/2021

Playing Angry Birds with a Domain-Independent PDDL+ Planner

This demo paper presents the first system for playing the popular Angry ...

0 Wiktor Piotrowski, et al. ∙