researcher

Marco Roveri

Department of Information Engineering and Computer Science of University of Trento

7 papers hereh-index 419.2k citations143 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position

first author1
middle author5
last author1

Across the 7 of 7 papers where every author was matched, so the position is known.

fields

affiliations

Department of Information Engineering and Computer Science of University of Trento

Homepage ORCID 0000-0001-9483-3940

same name

Marco Roveri — 3 papers, h 4
Marco Roveri — 3 papers, h 2
Marco Roveri — 2 papers, h 3

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity

20182023

most citedInvariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF

18 citations · 30 across the 7 of their papers we have counts for

collaborators

Showing cs.MAShow all

1 paper · 1 filter

cs.MA2023★ 3 cited

Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters

Aya Kherrour, Marco Robol, Marco Roveri +1

The paper presents a comprehensive performance evaluation of some heuristic search algorithms in the context of autonomous systems and robotics. The objective of the study is to ev…