Alessandro Farinelli
Orcid: 0000-0002-2592-5814Affiliations:
- University of Verona, Italy
- Sapienza University of Rome, Italy (until 2014)
According to our database1,
Alessandro Farinelli
authored at least 210 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Unsupervised Active Visual Search With Monte Carlo Planning Under Uncertain Detections.
IEEE Trans. Pattern Anal. Mach. Intell., December, 2024
Artif. Intell., March, 2024
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach.
J. Artif. Intell. Res., 2024
Collaborative Instance Navigation: Leveraging Agent Self-Dialogue to Minimize User Input.
CoRR, 2024
Artif. Intell. Rev., 2024
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024
Proceedings of the 33rd IEEE International Conference on Robot and Human Interactive Communication, 2024
Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning.
RLJ, 2024
Developing safe and explainable autonomous agents: from simulation to the real world.
Proceedings of the Ital-IA Intelligenza Artificiale, 2024
Path Re-Planning with Stochastic Obstacle Modeling: A Monte Carlo Tree Search Approach.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024
Mind the Error! Detection and Localization of Instruction Errors in Vision-and-Language Navigation.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Proceedings of the European Control Conference, 2024
Proceedings of the European Robotics Forum 2024, 2024
Proceedings of the Workshops of the EDBT/ICDT 2024 Joint Conference co-located with the EDBT/ICDT 2024 Joint Conference, 2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Proceedings of the American Control Conference, 2024
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
IEEE Trans. Pattern Anal. Mach. Intell., December, 2023
Artif. Intell., November, 2023
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing.
CoRR, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Italia Intelligenza Artificiale, 2023
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation.
IROS, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
Proceedings of the International Conference on Machine Learning, 2023
Language-enhanced RNR-Map: Querying Renderable Neural Radiance Field maps with natural language.
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023
Proceedings of the European Control Conference, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Proceedings of the 2nd Workshop on Bias, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing (regular paper).
Proceedings of the 10th Italian Workshop on Artificial Intelligence and Robotics co-located with the the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023
Proceedings of the the Italian Workshop on Planning and Scheduling, 2023
Monte Carlo Planning for Mobile Robots in Large Action Spaces With Velocity Obstacles (short paper).
Proceedings of the 10th Italian Workshop on Artificial Intelligence and Robotics co-located with the the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023
2022
Efficient Coalition Structure Generation via Approximately Equivalent Induced Subgraph Games.
IEEE Trans. Cybern., 2022
Frontiers Robotics AI, 2022
CoRR, 2022
Generation and interpretation of parsimonious predictive models for load forecasting in smart heating networks.
Appl. Intell., 2022
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Proceedings of the 7th IEEE Forum on Research and Technologies for Society and Industry Innovation, 2022
Enhancing Deep Reinforcement Learning Approaches for Multi-Robot Navigation via Single-Robot Evolutionary Policy Search.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022
Synthesis and Monitoring of Complex Tasks for Heterogeneous Robots in an Industry 4.0 Scenario.
Proceedings of the Intelligent Autonomous Systems 17, 2022
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022
HMM-based Anomaly Interpretation for Intelligent Robots in Industry 4.0 (short paper).
Proceedings of the 9th Italian Workshop on Artificial Intelligence and Robotics co-located with the the 21th International Conference of the Italian Association for Artificial Intelligence, 2022
Monte Carlo Tree Search Planning for Continuous Action and State Spaces (short paper).
Proceedings of the 9th Italian Workshop on Artificial Intelligence and Robotics co-located with the the 21th International Conference of the Italian Association for Artificial Intelligence, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
A Computational Approach to Quantify the Benefits of Ridesharing for Policy Makers and Travellers.
IEEE Trans. Intell. Transp. Syst., 2021
Robotics Auton. Syst., 2021
IEEE Intell. Syst., 2021
Partially Observable Monte Carlo Planning with state variable constraints for mobile robot navigation.
Eng. Appl. Artif. Intell., 2021
Formal verification of neural networks for safety-critical tasks in deep reinforcement learning.
Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021
Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Centralizing State-Values in Dueling Networks for Multi-Robot Reinforcement Learning Mapless Navigation.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Proceedings of the 9th International Conference on Learning Representations, 2021
Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks.
Proceedings of the 20th International Conference on Advanced Robotics, 2021
Proceedings of the Artificial Intelligence and Soft Computing, 2021
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021
Identification of Unexpected Decisions in Partially Observable Monte-Carlo Planning: A Rule-Based Approach.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021
Proceedings of the 8th Italian Workshop on Artificial Intelligence and Robotics co-located with the the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021
2020
Waterline and obstacle detection in images from low-cost autonomous boats for environmental monitoring.
Robotics Auton. Syst., 2020
SECUR-AMA: Active Malware Analysis Based on Monte Carlo Tree Search for Android Systems.
Eng. Appl. Artif. Intell., 2020
Time series segmentation for state-model generation of autonomous aquatic drones: A systematic framework.
Eng. Appl. Artif. Intell., 2020
Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification.
CoRR, 2020
Auton. Robots, 2020
Convolutional Neural Network and Stochastic Variational Gaussian Process for Heating Load Forecasting.
Proceedings of the Machine Learning, Optimization, and Data Science, 2020
Proceedings of the Machine Learning, Optimization, and Data Science, 2020
Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020
Decentralised Multi-intersection Congestion Control for Connected Autonomous Vehicles.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020
POMP: Pomcp-based Online Motion Planning for active visual search in indoor environments.
Proceedings of the 31st British Machine Vision Conference 2020, 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
Decentralized Task Assignment for Multi-item Pickup and Delivery in Logistic Scenarios.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
Policy Interpretation for Partially Observable Monte-Carlo Planning: a Rule-based Approach.
Proceedings of the 7th Italian Workshop on Artificial Intelligence and Robotics co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), 2020
2019
Decentralized Power Distribution in the Smart Grid with Ancillary Lines - An Approach Based on Distributed Constraint Optimization.
Mob. Networks Appl., 2019
Eng. Appl. Artif. Intell., 2019
Subspace Clustering for Situation Assessment in Aquatic Drones: A Sensitivity Analysis for State-Model Improvement.
Cybern. Syst., 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Load Forecasting in District Heating Networks: Model Comparison on a Real-World Case Study.
Proceedings of the Machine Learning, Optimization, and Data Science, 2019
A Comparative Analysis on the use of Autoencoders for Robot Security Anomaly Detection.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019
Double Deep Q-Network for Trajectory Generation of a Commercial 7DOF Redundant Manipulator.
Proceedings of the 3rd IEEE International Conference on Robotic Computing, 2019
Influence of State-Variable Constraints on Partially Observable Monte Carlo Planning.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Distributed Constrained Optimization Towards Effective Agent-Based Microgrid Energy Resource Management.
Proceedings of the Progress in Artificial Intelligence, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Online Monte Carlo Planning for Autonomous Robots: Exploiting Prior Knowledge on Task Similarities.
Proceedings of the 6th Italian Workshop on Artificial Intelligence and Robotics co-located with the XVIII International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), 2019
2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Intelligent Autonomous Systems 15, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Intelligent Battery Management for aquatic drones based on Task Difficulty driven POMDPs.
Proceedings of the 5th Italian Workshop on Artificial Intelligence and Robotics, 2018
2017
ACM Trans. Intell. Syst. Technol., 2017
IEEE Trans. Cybern., 2017
Robotics Auton. Syst., 2017
Pattern Recognit., 2017
A hierarchical clustering approach to large-scale near-optimal coalition formation with quality guarantees.
Eng. Appl. Artif. Intell., 2017
Auton. Robots, 2017
Artif. Intell., 2017
Auton. Agents Multi Agent Syst., 2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the Symposium on Applied Computing, 2017
A Balking Queue Approach for Modeling Human-Multi-Robot Interaction for Water Monitoring.
Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the IEEE International Conference on Computer Vision, 2017
Fast and Power-Efficient Embedded Software Implementation of Digital Image Stabilization for Low-Cost Autonomous Boats.
Proceedings of the Field and Service Robotics, 2017
Proceedings of the Energy Minimization Methods in Computer Vision and Pattern Recognition, 2017
Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2017
Activity Recognition for Autonomous Water Drones based on Unsupervised Learning Methods.
Proceedings of the 4th Italian Workshop on Artificial Intelligence and Robotics A workshop of the XVI International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017
2016
Directional Visual Descriptors and Multirobot Strategies for Large-Scale Coverage Problems.
J. Field Robotics, 2016
Proceedings of the Theory and Practice of Natural Computing - 5th International Conference, 2016
Proceedings of the Structural, Syntactic, and Statistical Pattern Recognition, 2016
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016
Proceedings of the Intelligent Autonomous Systems 14, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics, 2016
Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics, 2016
Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, 2016
2015
Proceedings of the 9th ACM Conference on Recommender Systems, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Proceedings of the 2nd Italian Workshop on Artificial Intelligence and Robotics A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Comput. J., 2014
Agent-based decentralised coordination for sensor networks using the max-sum algorithm.
Auton. Agents Multi Agent Syst., 2014
Proceedings of the Structural, Syntactic, and Statistical Pattern Recognition, 2014
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014
Proceedings of the 22nd International Conference on Pattern Recognition, 2014
Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
2013
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2013
C-Link: A Hierarchical Clustering Approach to Large-scale Near-optimal Coalition Formation.
Proceedings of the IJCAI 2013, 2013
Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2013
RMASBench: a benchmarking system for multi-agent coordination in urban search and rescue.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
2012
Proceedings of the Intelligent Autonomous Systems 12, 2012
A Methodology for Deploying the Max-Sum Algorithm and a Case Study on Unmanned Aerial Vehicles.
Proceedings of the Twenty-Fourth Conference on Innovative Applications of Artificial Intelligence, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
Decentralised stable coalition formation among energy consumers in the smart grid (demonstration).
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Artif. Intell., 2011
Auton. Agents Multi Agent Syst., 2011
Proceedings of the Pattern Recognition in Bioinformatics, 2011
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011
Flood Disaster Mitigation: A Real-World Challenge Problem for Multi-agent Unmanned Surface Vehicles.
Proceedings of the Advanced Agent Technology, 2011
2010
Proceedings of the Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6-9 December 2010, 2010
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the Self-Organizing Architectures, First International Workshop, 2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the 12th International Conference on Information Fusion, 2009
Decentralised coordination of continuously valued control parameters using the max-sum algorithm.
Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009
2008
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
Decentralised coordination of low-power embedded devices using the max-sum algorithm.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
2007
J. Field Robotics, 2007
Proceedings of the RoboCup 2007: Robot Soccer World Cup XI, 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007
2006
Proc. IEEE, 2006
Proceedings of the RoboCup 2006: Robot Soccer World Cup X, 2006
2005
A Multi Agent System approach for emergency intervention: experimental analysis and evaluation.
Intelligenza Artificiale, 2005
Task Assignment with Dynamic Perception and Constrained Tasks in a Multi-Robot System.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005
2004
IEEE Trans. Syst. Man Cybern. Part B, 2004
Token Approach for Role Allocation in Extreme Teams: Analysis and Experimental Evaluation.
Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004
Proceedings of the IEEE International Conference on Systems, 2004
Proceedings of the RoboCup 2004: Robot Soccer World Cup VIII, 2004
Proceedings of the Monitoring, Security, and Rescue Techniques in Multiagent Systems, 2004
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004
2003
Proceedings of the IEEE International Conference on Systems, 2003
Proceedings of the RoboCup 2003: Robot Soccer World Cup VII, 2003
RoboCup Rescue Simulation: Methodologies Tools and Evaluation for Practical Applications.
Proceedings of the RoboCup 2003: Robot Soccer World Cup VII, 2003
Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003
Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, Las Vegas, Nevada, USA, October 27, 2003
2001
Proceedings of the RoboCup 2001: Robot Soccer World Cup V, 2001