Dantsker, Or D.;Theile, Mirco;Caccamo, Marco
A Cyber-Physical Prototyping and Testing Framework to Enable the Rapid Development of UAVs
Aerospace
2022
9
5
270

Zhong, Bingzhuo;Zamani, Majid;Caccamo, Marco
A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems
2022 American Control Conference (ACC)
IEEE
2022

Zhong, Bingzhuo;Zamani, Majid;Caccamo, Marco
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach
2022 IEEE Conference on Control Technology and Applications (CCTA)
IEEE
2022

Cao, Hongpeng;Theile, Mirco;Wyrwal, Federico G.;Caccamo, Marco
Cloud-Edge Training Architecture for Sim-to-Real Deep Reinforcement Learning
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
IEEE
2022

Bansal, Ayoosh;Kim, Hunmin;Yu, Simon;Li, Bo;Hovakimyan, Naira;Caccamo, Marco;Sha, Lui
Verifiable Obstacle Detection
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)
IEEE
2022

Zhong, Bingzhuo;Lavaei, Abolfazl;Zamani, Majid;Caccamo, Marco
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations
Automatica
2023
147
110696

Dantsker, Or D.;Caccamo, Marco;Mancuso, Renato
Expanded Flight & Ground Testing Data Set for an Unmanned Aircraft: Great Planes Avistar Elite
AIAA SCITECH 2023 Forum
American Institute of Aeronautics and Astronautics
2023

Chen, Jiyang;Kloda, Tomasz;Tabish, Rohan;Bansal, Ayoosh;Chen, Chien-Ying;Liu, Bo;Mohan, Sibin;Caccamo, Marco;Sha, Lui
SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors
ACM Transactions on Cyber-Physical Systems
2023
7
1
1-25

dos Santos, Lucas Matheus;Gracioli, Giovani;Kloda, Tomasz;Caccamo, Marco
Supporting single and multi-core resource access protocols on object-oriented RTOSes
Design Automation for Embedded Systems
2023
27
1-2
31-50

Zhong, Bingzhuo;Zamani, Majid;Caccamo, Marco
Formal Synthesis of Controllers for Uncertain Linear Systems Against $\omega$-Regular Properties: A Set-Based Approach
IEEE Transactions on Automatic Control
2023
1-16