Prof. Francesco Belardinelli — Research Profile
Imperial College London · Department of Computing
About
Prof. Francesco Belardinelli at Imperial College London Department of Computing lists Safe AI systems, formal methods, multi-agent systems verification as their registered research area.
Research keywords
Recent papers
- RECREG: Recovery-based Shielding for Regular Safety Properties in Reinforcement LearningNewPreprintarXiv (Cornell University) · Oct 16
- Learning Rational Strategies for Temporal Objectives in Multi-Agent SystemsNewPreprintarXiv (Cornell University) · Oct 15
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Reinforcement Learning in Robotics
Alessandro Abate 교수 연구실
University of Oxford · Department of Computer Science
Jaxolotl: A Unified High-Performance Benchmark Suite for LTL-Based Multi-Task RLNewPreprintarXiv (Cornell University) · Sep 29Jun Wang 교수 연구실
University College London · Department of Computer Science
Information-Time Proximal Policy OptimizationPreprintarXiv (Cornell University) · Sep 21Amanda Prorok 교수 연구실
University of Cambridge · Department of Computer Science and Technology
Learning Robot Behavior Priors from Non-Robotic Synthetic DataNewPreprintarXiv (Cornell University) · Oct 22
Other labs in this department
- Abbas Edalat 교수 연구실
Computational geometry, optimization theory, game theory
- Alastair Donaldson 교수 연구실
Formal verification, software performance optimization
- Aldo Faisal 교수 연구실
Neurotechnology, machine learning, algorithmic behavior prediction
- Alessandra Russo 교수 연구실
Computational logic, logic-based machine learning, autonomous systems
- Alessio Lomuscio 교수 연구실
AI verification, computer vision validation, certified learning
- Andrew Davison 교수 연구실
Computer vision, robotics, SLAM, augmented reality