Matteo Palmas

Orcid: 0009-0005-7402-0957

According to our database1, Matteo Palmas authored at least 2 papers in 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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...