Agents and Robots for reliable Engineered Autonomy : 5th Workshop, AREA 2025, Bologna, Italy, October 25, 2025, Proceedings / / edited by Angelo Ferrando, Rafael C. Cardoso
| Agents and Robots for reliable Engineered Autonomy : 5th Workshop, AREA 2025, Bologna, Italy, October 25, 2025, Proceedings / / edited by Angelo Ferrando, Rafael C. Cardoso |
| Autore | Ferrando Angelo |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (210 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) | CardosoRafael C |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Multiagent systems Application software Artificial Intelligence Multiagent Systems Computer and Information Systems Applications |
| ISBN |
3-032-08049-5
9783032080493 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Conversational Text-to-SQL: A Comprehensive Survey of Paradigms, Challenges, and Future Directions. -- Selecting the Most Specific Plan in AgentSpeak Programs. -- A wearable stereo vision-based obstacle detection system for visually impaired individuals. -- Towards Safe Action Policies in Multi-robot Systems with Causal Reinforcement Learning. -- A Formal Factorization Approach of Non-Deterministic Plans: Application to an Anti-Poaching Robotic Mission Scenario. -- Sim-to-Real 6-DoF Pose Estimation for UAVs using Synthetic RGB-D Data. -- Corroborative V&V for Autonomous Systems: Integrating Evidence and Discrepancy Analysis for Safety Assurance. -- BC-MPPI: A Probabilistic Constraint Layer for Safe Model-Predictive Path-Integral Control. |
| Record Nr. | UNINA-9911034955403321 |
Ferrando Angelo
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agents and Robots for reliable Engineered Autonomy : 4th Workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, Proceedings / / edited by Angelo Ferrando, Rafael C. Cardoso
| Agents and Robots for reliable Engineered Autonomy : 4th Workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, Proceedings / / edited by Angelo Ferrando, Rafael C. Cardoso |
| Autore | Ferrando Angelo |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (175 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) | CardosoRafael C |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Multiagent systems Application software Artificial Intelligence Multiagent Systems Computer and Information Systems Applications |
| ISBN |
9783031731808
3031731808 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Risk-Aware On-the-Fly Solving of Physical Vehicle Routing Problems -- Agents as a design paradigm for robotic systems leveraging ROS and Gazebo -- Verification-Oriented Specification of Multi-Agent Interaction Patterns -- Evaluation of Human Interaction with Fleets of Automated Vehicles in Dynamic Underground Mining Environments -- Signal sparsity considerations for using VAE with non-visual data: case study of proximity sensors on a mobile robot -- Planning with Non-Deterministic Actions in Jason -- Bid Intercession to Unlock Human Control in Decentralized Consensus-based Multi-Robot Task Allocation Algorithms -- Reason logically, move continuously -- Attentive A* for Visual Cue based Path Planning in Complex Environments -- Centralized Stochastic Multi-Agent Pathfinding under Partial Observability. |
| Record Nr. | UNINA-9910983380403321 |
Ferrando Angelo
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||