Matteo Palmas

According to our database, Matteo Palmas authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

Translating Behavior Trees to Petri Nets for Model Checking.

Matteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella

Proceedings of the 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2025

Efficient Quality Diversity Optimization with Monte Carlo Bayesian Sampling.

Matteo Palmas, Varun Bhatt, Shihan Zhao, Stefanos Nikolaidis, Ralph Lange, Michaela Klauck

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2025

2024

Towards Verifying Robotic Systems Using Statistical Model Checking in STORM.

Marco Lampacrescia, Michaela Klauck, Matteo Palmas

Proceedings of the Bridging the Gap Between AI and Reality, 2024

Towards Robust Autonomous Robots Using Statistical Model Checking.

Michaela Klauck, Ralph Lange, Christian Henkel, Selma Kchir, Matteo Palmas

Proceedings of the European Robotics Forum 2024, 2024