Marco Roveri

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Constructing Behavior Trees from Temporal Plans for Robotic Applications	2024	Josh Zapf Marco Roveri Francisco Martín Juan Carlos Manzanares
+ PDF Chat	CROSSCON: Cross-platform Open Security Stack for Connected Devices	2024	Bruno Crispo Marco Roveri Sandro Pinto Tiago Gomes Aljosa Pasic Ákos Milánkovich David Puron Ainara Garcia Ziga Putrle Peter Ten
+ PDF Chat	When Prolog Meets Generative Models: a New Approach for Managing Knowledge and Planning in Robotic Applications	2024	Enrico Saccon Ahmet Tikna Davide De Martini Edoardo Lamon Luigi Palopoli Marco Roveri
+ PDF Chat	Implementing BDI Continual Temporal Planning for Robotic Agents	2023	Alex Zanetti Devis Dal Moro Redi Vreto Marco Robol Marco Roveri Paolo Giorgini
+ PDF Chat	Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters	2023	Aya Kherrour Marco Robol Marco Roveri Paolo Giorgini
+	A Markovian model for the spread of the SARS-CoV-2 virus	2023	Luigi Palopoli Daniele Fontanelli Marco Frego Marco Roveri
+ PDF Chat	Verifying a Stochastic Model for the Spread of a SARS-CoV-2-Like Infection: Opportunities and Limitations	2023	Marco Roveri Franc Ivankovic Luigi Palopoli Daniele Fontanelli
+	Implementing BDI Continual Temporal Planning for Robotic Agents	2023	Alex Zanetti Devis Dal Moro Redi Vreto Marco Robol Marco Roveri Paolo Giorgini
+	When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications	2023	Enrico Saccon Ahmet Tikna Davide De Martini Edoardo Lamon Marco Roveri Luigi Palopoli
+	Semantic-based Loco-Manipulation for Human-Robot Collaboration in Industrial Environments	2023	Federico Rollo Gennaro Raiola Nikos G. Tsagarakis Marco Roveri Enrico Mingo Hoffman Arash Ajoudani
+ PDF Chat	Real-Time BDI Agents: A Model and Its Implementation	2022	Andrea Traldi Francesco Bruschetti Marco Robol Marco Roveri Paolo Giorgini
+	Computing unsatisfiable cores for LTLf specifications	2022	Marco Roveri Claudio Di Ciccio Chiara Di Francescomarino Chiara Ghidini
+	A Markovian Model for the Spread of the SARS-CoV-2 Virus	2022	Luigi Palopoli Daniele Fontanelli Marco Frego Marco Roveri
+	Real-Time BDI Agents: a model and its implementation	2022	Andrea Traldi Francesco Bruschetti Marco Robol Marco Roveri Paolo Giorgini
+	Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations	2022	Marco Roveri Franc Ivankovic Luigi Palopoli Daniele Fontanelli
+ PDF Chat	Satisfiability Modulo Transcendental Functions via Incremental Linearization	2017	Alessandro Cimatti Alberto Griggio Ahmed Irfan Marco Roveri Roberto Sebastiani
+ PDF Chat	Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF	2017	Alessandro Cimatti Alberto Griggio Ahmed Irfan Marco Roveri Roberto Sebastiani
+ PDF Chat	Software Model Checking with Explicit Scheduler and Symbolic Threads	2012	Alessandro Cimatti Iman Narasamdya Marco Roveri
+ PDF Chat	Formalization and Validation of Safety-Critical Requirements	2010	Alessandro Cimatti Marco Roveri Angelo Susi Stefano Tonetta
+ PDF Chat	Conformant Planning via Symbolic Model Checking	2000	Alessandro Cimatti Marco Roveri

Common Coauthors

Coauthor	Papers Together
Luigi Palopoli	6
Paolo Giorgini	5
Alessandro Cimatti	5
Marco Robol	5
Daniele Fontanelli	4
Roberto Sebastiani	2
Ahmet Tikna	2
Redi Vreto	2
Enrico Saccon	2
Andrea Traldi	2
Francesco Bruschetti	2
Alberto Griggio	2
Edoardo Lamon	2
Franc Ivankovic	2
Davide De Martini	2
Alex Zanetti	2
Devis Dal Moro	2
Ahmed Irfan	2
Marco Frego	2
David Puron	1
Ziga Putrle	1
Juan Carlos Manzanares	1
Ainara Garcia	1
Francisco Martín	1
Malvina Catalano	1
Josh Zapf	1
Claudio Di Ciccio	1
Federico Rollo	1
Stefano Tonetta	1
Angelo Susi	1
Nikos G. Tsagarakis	1
Enrico Mingo Hoffman	1
Peter Ten	1
Sandro Pinto	1
Tiago Gomes	1
Ákos Milánkovich	1
Chiara Ghidini	1
Arash Ajoudani	1
Chiara Di Francescomarino	1
Iman Narasamdya	1
Bruno Crispo	1
Gennaro Raiola	1
Aljosa Pasic	1
Aya Kherrour	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	A contribution to the mathematical theory of epidemics	1927	W. O. Kermack A. G. McKendrick	2
+	A quantitative assessment of epidemiological parameters required to investigate COVID-19 burden	2021	Agnese Zardini Margherita Galli Marcello Tirani Danilo Cereda Mattia Manica Filippo Trentini Giorgio Guzzetta Valentina Marziano Raffaella Piccarreta Alessia Melegaro	2
+	Optimal policies for control of the novel coronavirus disease (COVID-19) outbreak	2020	Amin Yousefpour Hadi Jahanshahi Stelios Bekiros	2
+	Some properties of a simple stochastic epidemic model of SIR type	2006	Henry C. Tuckwell Ruth Williams	2
+	Modeling the spread of infectious disease in human populations	1990	Lisa Sattenspiel	2
+ PDF Chat	Epidemics control model with consideration of seven-segment population model	2020	Ali Nasir Huma Baig Muhammad Rafiq	2
+	dReal: An SMT Solver for Nonlinear Theories over the Reals	2013	Sicun Gao Soonho Kong Edmund M. Clarke	2
+	Markov Chain Methods in Chain Binomial Epidemic Models	1971	J. Gani D. Jerwood	2
+ PDF Chat	Stability of epidemic models over directed graphs: A positive systems approach	2016	Ali Khanafer Tamer Başar Bahman Gharesifard	2
+	Mathematical Models in Epidemiology	2019	Fred Brauer Carlos Castillo‐Chávez Zhilan Feng	2
+ PDF Chat	Modelling the COVID-19 epidemic and implementation of population-wide interventions in Italy	2020	Giulia Giordano Franco Blanchini Raffaele Bruno Patrizio Colaneri Di Filippo A Angela Di Matteo Marta Colaneri	2
+ PDF Chat	Epidemiological characteristics of COVID-19 cases and estimates of the reproductive numbers 1 month into the epidemic, Italy, 28 January to 31 March 2020	2020	Flavia Riccardo Marco Ajelli Xanthi Andrianou Antonino Bella Martina Del Manso Massimo Fabiani Stefania Bellino Stefano Boros Alberto Mateo‐Urdiales Valentina Marziano	2
+ PDF Chat	Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation	2013	Xavier Allamigeon Stéphane Gaubert Victor Magron Benjamin Werner	1
+ PDF Chat	COLIN: Planning with Continuous Linear Numeric Change	2012	Andrew Coles Andrew Coles Maria Fox Derek Long	1
+ PDF Chat	Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations	2013	Alexey Solovyev Thomas Hales	1
+	Functions of Complex Variable	2006		1
+ PDF Chat	SMT-based model checking for recursive programs	2016	Anvesh Komuravelli Arie Gurfinkel Sagar Chaki	1
+ PDF Chat	Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals	2018	Massimo Narizzano Luca Pulina Armando Tacchella Simone Vuotto	1
+	Software Model Checking via Large-Block Encoding	2009	Dirk Beyer Alessandro Cimatti Alberto Griggio M. Erkan Keremoğlu Roberto Sebastiani	1
+	Delta-Complete Decision Procedures for Satisfiability over the Reals	2012	Sicun Gao Jeremy Avigad Edmund M. Clarke	1
+	A survey of Behavior Trees in robotics and AI	2022	Matteo Iovino Edvards Scukins Jonathan Styrud Petter Ögren Christian Smith	1
+ PDF Chat	One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past	2020	Luca Geatti Nicola Gigante Angelo Montanari Mark Reynolds	1
+	NUMBERS: RATIONAL AND IRRATIONAL	2002	Ivan Niven	1
+	Control Theory Meets POMDPs: A Hybrid Systems Approach	2020	Mohamadreza Ahmadi Nils Jansen Bo Wu Ufuk Topcu	1
+ PDF Chat	Constructing Conditional Plans by a Theorem-Prover	1999	Jussi Rintanen	1
+ PDF Chat	Extracting unsatisfiable cores for LTL via temporal resolution	2015	Viktor Schuppan	1
+ PDF Chat	Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF	2017	Alessandro Cimatti Alberto Griggio Ahmed Irfan Marco Roveri Roberto Sebastiani	1
+ PDF Chat	Reconfigurable Behavior Trees: Towards an Executive Framework Meeting High-level Decision Making and Control Layer Features	2020	Pilar de la Cruz Justus Piater Matteo Saveriano	1
+ PDF Chat	Deliberative acting, planning and learning with hierarchical operational models	2021	Sunandita Patra James Mason Malik Ghallab Dana S. Nau Paolo Traverso	1
+ PDF Chat	Verifying the Safety of a Flight-Critical System	2015	Guillaume Brat David Bushnell Misty Davies Dimitra Giannakopoulou Falk Howar Temesghen Kahsai	1
+ PDF Chat	PlanSys2: A Planning System Framework for ROS2	2021	Francisco Martín Jonatan Ginés Vicente Matellán Olivera Francisco J. Rodríguez-Lera	1
+ PDF Chat	Real-Time BDI Agents: A Model and Its Implementation	2022	Andrea Traldi Francesco Bruschetti Marco Robol Marco Roveri Paolo Giorgini	1
+	Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces	2020	Giuseppe De Giacomo Riccardo De Masellis Fabrizio Maria Maggi Marco Montali	1
+	Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations	2022	Marco Roveri Franc Ivankovic Luigi Palopoli Daniele Fontanelli	1
+	A Markovian model for the spread of the SARS-CoV-2 virus	2023	Luigi Palopoli Daniele Fontanelli Marco Frego Marco Roveri	1
+	A Survey of Large Language Models	2023	Wayne Xin Zhao Kun Zhou Junyi Li Tianyi Tang Xiaolei Wang Yupeng Hou Yingqian Min Beichen Zhang Junjie Zhang Zican Dong	1
+ PDF Chat	Code as Policies: Language Model Programs for Embodied Control	2023	Jacky Liang Wenlong Huang Fei Xia Peng Xu Karol Hausman Brian Ichter Pete Florence Andy Zeng	1
+ PDF Chat	Implementing BDI Continual Temporal Planning for Robotic Agents	2023	Alex Zanetti Devis Dal Moro Redi Vreto Marco Robol Marco Roveri Paolo Giorgini	1
+	Numbers: Rational and Irrational	2002	Ivan Niven	1
+ PDF Chat	Talking about Large Language Models	2024	Murray Shanahan	1
+	Determining ramifications in the situation calculus	1996	Enrico Giunchiglia	1
+	Computing Minimal Sets on Propositional Formulae I: Problems & Reductions.	2014	João Marques‐Silva Mikoláš Janota	1
+ PDF Chat	NLCertify: A Tool for Formal Nonlinear Optimization	2014	Victor Magron	1
+	The asymptotic behavior of stochastically perturbed DI SIR epidemic models with saturated incidences	2012	Hong Liu Qingshan Yang Daqing Jiang	1
+	Dynamics of a multigroup SIR epidemic model with stochastic perturbation	2011	Chunyan Ji Daqing Jiang Qingshan Yang Ningzhong Shi	1
+	Infectious Diseases of Humans: Dynamics and Control	1992	Joel E. Cohen	1
+ PDF Chat	Efficient solving of quantified inequality constraints over the real numbers	2006	Stefan Ratschan	1
+ PDF Chat	PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains	2003	Maria Fox Derek Long	1
+ PDF Chat	Software model checking via large-block encoding	2009	Dirk Beyer Alessandro Cimatti Alberto Griggio M. Erkan Keremoğlu Simon Fraser Univers Roberto Sebastiani	1
+	Clausal temporal resolution	2001	Michael Fisher Clare Dixon Martin Peim	1