◍wovepaper
SearchResearchersInstitutions
Sign in
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
  • cs.LO2
  • cs.RO2
  • cs.MA1
  • eess.SY1
  • q-bio.PE1
affiliations
  • Department of Information Engineering and Computer Science of University of Trento
HomepageORCID 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.ROShow all

2 papers · 1 filter

cs.RO2023

When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications

Enrico Saccon, Ahmet Tikna, Davide De Martini +3

In this paper, we propose a robot oriented knowledge management system based on the use of the Prolog language. Our framework hinges on a special organisation of knowledge base tha…

cs.RO2023

Implementing BDI Continual Temporal Planning for Robotic Agents

Alex Zanetti, Devis Dal Moro, Redi Vreto +3

Making autonomous agents effective in real-life applications requires the ability to decide at run-time and a high degree of adaptability to unpredictable and uncontrollable events…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.