Roveri, Marco

14 publications

CoRL 2025 Extracting Visual Plans from Unlabeled Videos via Symbolic Guidance Wenyan Yang, Ahmet Tikna, Yi Zhao, Yuying Zhang, Luigi Palopoli, Marco Roveri, Joni Pajarinen

JAIR 2024 Computing Unsatisfiable Cores for LTLf Specifications Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini

IJCAI 2022 Real-Time BDI Agents: A Model and Its Implementation Andrea Traldi, Francesco Bruschetti, Marco Robol, Marco Roveri, Paolo Giorgini

AAAI 2017 Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic Alessandro Cimatti, Andrea Micheli, Marco Roveri

AAAI 2016 Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies Alessandro Cimatti, Andrea Micheli, Marco Roveri

AAAI 2015 Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach Alessandro Cimatti, Andrea Micheli, Marco Roveri

AAAI 2014 Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri

AAAI 2013 Timelines with Temporal Uncertainty Alessandro Cimatti, Andrea Micheli, Marco Roveri

AAAI 2012 Solving Temporal Problems Using SMT: Weak Controllability Alessandro Cimatti, Andrea Micheli, Marco Roveri

IJCAI 2011 A Comprehensive Approach to On-Board Autonomy Verification and Validation Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev

IJCAI 2001 Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri

IJCAI 2001 Planning in Nondeterministic Domains Under Partial Observability via Symbolic Model Checking Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso

JAIR 2000 Conformant Planning via Symbolic Model Checking Alessandro Cimatti, Marco Roveri

AAAI 1998 Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains Alessandro Cimatti, Marco Roveri, Paolo Traverso