Verification of agent navigation in partially-known environments-Reference-Cited by-同舟云学术

Verification of agent navigation in partially-known environments

Published:2022-07 Issue: Volume:308 Page:103724
ISSN:0004-3702
Container-title:Artificial Intelligence
language:en
Short-container-title:Artificial Intelligence

Author:

Aminof Benjamin,Murano Aniello,Rubin Sasha,Zuleger Florian

Funder

Austrian Science Fund

Publisher

Elsevier BV

Subject

Artificial Intelligence,Linguistics and Language,Language and Linguistics

Reference105 articles.

1. Parameterised verification of autonomous mobile-agents in static but unknown environments;Rubin,2015

2. Verification of asynchronous mobile-robots in partially-known environments;Aminof,2015

3. Computational Principles of Mobile Robotics;Dudek,2000

4. What is planning in the presence of sensing?;Levesque,1996

5. A taxonomy for multi-agent robotics;Dudek;Auton. Robots,1996

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Swarm-Based Flocking Control Algorithm for Exploration and Coverage of Unknown Environments;WSEAS TRANSACTIONS ON SYSTEMS AND CONTROL;2023-07-19

2. Reasoning About Smart Parking;Multi-Agent Systems;2023

3. Parking Problem with Multiple Gates;Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection;2023

4. PaSy 2.0: An Approach for PSEs Through an Ad-Hoc Routing Methodology;Advances on P2P, Parallel, Grid, Cloud and Internet Computing;2022-10-18

5. CoPoi: A Collaborative Framework to Optimize the Approach Towards Points of Interest;Advances in Intelligent Networking and Collaborative Systems;2022