Matteo Palmas

Orcid: 0009-0005-7402-0957

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Translating Behavior Trees to Petri Nets for Model Checking.
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.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2025

2024
Towards Verifying Robotic Systems Using Statistical Model Checking in STORM.
Proceedings of the Bridging the Gap Between AI and Reality, 2024

Towards Robust Autonomous Robots Using Statistical Model Checking.
Proceedings of the European Robotics Forum 2024, 2024


  Loading...