Alexander Palmisano

According to our database, Alexander Palmisano authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Online shielding for reinforcement learning.

Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem

Innov. Syst. Softw. Eng., December, 2023

Safety Shielding under Delayed Observation.

Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2021

Online Shielding for Stochastic Systems.

Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

It's Time to Play Safe: Shield Synthesis for Timed Systems.

Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano

CoRR, 2020