Marco Lampacrescia
Papers
2
Total Citations
9
H-Index
2
About
No biography available yet.
Research Focus
Artificial intelligence2 · 9 citations
Computer science2 · 9 citations
Robot2 · 9 citations
Robotics2 · 9 citations
Robustness (evolution)1 · 5 citations
Bridge (graph theory)1 · 5 citations
Software engineering1 · 5 citations
Machine learning1 · 5 citations
Software1 · 4 citations
Toolchain1 · 4 citations
Verifiable secret sharing1 · 4 citations
Programming language1 · 4 citations
Key Achievements
2
H-Index
2
Papers
9
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
Towards Verifying Robotic Systems Using Statistical Model Checking in STORM
5 citations · 2024
📈 Most Prolific Year: 2024 (2 Papers)
🤝 Key Collaborators: 18
🏛 Institutions: Robert Bosch (Germany)
Top Papers
- 1
- 2Towards a Verifiable Toolchain for Robotics4 citations · 2024
Key Collaborators
MPMatteo Palmas2 shared papersMKMichaela Klauck2 shared papersLNLorenzo Natale1 shared papersMRMarco Randazzo1 shared papersSRStefano Rosa1 shared papersYWYazz Warsame1 shared papersRARazane Azrou1 shared papersMMMasoumeh Mansouri1 shared papersMMMatteo Morelli1 shared papersCSCharlie Street1 shared papersGCG. Chen1 shared papersDWDanielle Wallis1 shared papersEGEnrico Ghiorzi1 shared papersRLRaphaël Lallement1 shared papersRLRalph Lange1 shared papersSBStefano Bernagozzi1 shared papersATArmando Tacchella1 shared papersCHChristian Henkel1 shared papers
Not generated yet