Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Agents and Robots for Reliable Engineered Autonomy
| Agents and Robots for Reliable Engineered Autonomy |
| Autore | Cardoso Rafael C |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 online resource (150 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
agents
aggregate computing Autonomous Vehicles belief-desire-intention (BDI) collective autonomy coordination decision-making formal verification human-agent interaction jason model checking multi-agent systems n/a rational agent robot operating system (ROS) robotic agents robotics ROS Rules of the Road self-driving vehicle self-organisation software engineering verification and validation |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557485603321 |
Cardoso Rafael C
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 |
| 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 | ||
| Materiale a stampa | ||
| 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
| Agents and Robots for Reliable Engineered Autonomy : 4th Workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, Proceedings |
| Autore | Ferrando Angelo |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer, , 2024 |
| Descrizione fisica | 1 online resource (175 pages) |
| Altri autori (Persone) | CardosoRafael C |
| Collana | Communications in Computer and Information Science Series |
| Soggetto topico |
Autonomous robots
Multiagent systems |
| ISBN |
9783031731808
3031731808 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Invited Talks -- Organisation -- Contents -- Risk-Aware On-the-Fly Solving of Physical Vehicle Routing Problems -- 1 Introduction -- 2 Related Work -- 3 Towards a Problem Formulation -- 4 Complexity Considerations -- 5 Implementation Considerations -- 6 Experiments -- 7 Conclusion -- References -- Agents as a Design Paradigm for Robotic Systems Leveraging ROS and Gazebo -- 1 Introduction -- 2 Related Work -- 3 Design Concepts and the Agent Paradigm -- 4 Developing Robotic Systems with ROS and Gazebo -- 5 Agents for ROS and Gazebo Designing -- 5.1 Case Study and Validation -- 6 Conclusions -- References -- Verification-Oriented Specification of Multi-agent Interaction Patterns -- 1 Introduction -- 2 Related Work -- 3 Background -- 4 Illustrative Example -- 5 Translating LIrAs patterns to SHA -- 5.1 Hierarchical LIrAs Pattern Structure -- 5.2 DFA Representation |
| Record Nr. | UNINA-9910983380403321 |
|
Ferrando Angelo
|
||
| Cham : , : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Multi-Agent Systems : 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6–7, 2024, Revised Selected Papers / / edited by Daniela Briola, Rafael C. Cardoso, Brian Logan
| Engineering Multi-Agent Systems : 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6–7, 2024, Revised Selected Papers / / edited by Daniela Briola, Rafael C. Cardoso, Brian Logan |
| Autore | Briola Daniela |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (204 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
CardosoRafael C
LoganBrian |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer engineering Computer networks Application software Computer science Artificial Intelligence Computer Engineering and Networks Computer and Information Systems Applications Theory of Computation |
| ISBN | 3-031-71152-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- SPARKIT: A Mind Map-Based MAS for Idea Generation Support. -- Cooperative Multi-agent Approach for Automated Computer Game Testing. -- On the external concurrency of current BDI frameworks for MAS. -- SADMA: Scalable Asynchronous Distributed Multi-Agent Reinforcement Learning Training Framework. -- Synergizing Trust and Autonomy: Gaia-X Enabled Multi-Agent Ecosystems for Advanced Freight Fleet Management. -- Cognitive Planning for Persuasive Multimodal Interaction. -- A Novel Bidding Strategy for PDAs using MCTS in Continuous Action Spaces. -- Jadex BDI Agents Integrated with MATSim for Autonomous Mobility on Demand. -- Towards Engineering Explainable Autonomous Systems. -- Enhancing Confidence of the vGOAL Interpreter Using SAT Solving. -- Agents for DDD --- Back and Forth. |
| Record Nr. | UNINA-9910899898703321 |
|
Briola Daniela
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||