Verification of agent navigation in partially-known environments

, , &
Artificial Intelligence 308 (C):103724 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2022.103724

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Verification of multi-agent systems with public actions against strategy logic.Francesco Belardinelli, Alessio Lomuscio, Aniello Murano & Sasha Rubin - 2020 - Artificial Intelligence 285 (C):103302.
Extending Environments To Measure Self-Reflection In Reinforcement Learning.Samuel Allen Alexander, Michael Castaneda, Kevin Compher & Oscar Martinez - 2022 - Journal of Artificial General Intelligence 13 (1).
Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
Concerning 'Eschatological Verification Reconsidered'.Beth Mackie - 1987 - Religious Studies 23 (1):129 - 135.
Everyday navigation in real and virtual environments informed by semantic knowledge.Kalff Christopher & Strube Gerhard - unknown
The Systemic Concept of Contextual Truth.Andrzej Bielecki - 2020 - Foundations of Science 26 (4):807-824.
Topological direction-giving and visual navigation in large environments.Il-Pyung Park & John R. Kender - 1995 - Artificial Intelligence 78 (1-2):355-395.
High-Precision Vehicle Navigation in Urban Environments Using an MEM's IMU and Single-Frequency GPS Receiver.Zhao Sheng, Chen Yiming & A. Farrell Jay - unknown
Navigation bicoded as functions of x-y and time?James G. Phillips & Rowan P. Ogeil - 2013 - Behavioral and Brain Sciences 36 (5):561-562.
Human path navigation in a three-dimensional world.Michael Barnett-Cowan & Heinrich H. Bülthoff - 2013 - Behavioral and Brain Sciences 36 (5):544-545.
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
The effects of maps on navigation and search strategies in very-large-scale virtual environments.Roy A. Ruddle, Stephen J. Payne & Dylan M. Jones - 1999 - Journal of Experimental Psychology: Applied 5 (1):54.
Ecological validity of virtual environments to assess human navigation ability.Ineke J. M. van der Ham, Annemarie M. E. Faber, Matthijs Venselaar, Marc J. van Kreveld & Maarten Lã¶Ffler - 2015 - Frontiers in Psychology 6.
Navigation in Real-World Environments: New Opportunities Afforded by Advances in Mobile Brain Imaging.Joanne L. Park, Paul A. Dudchenko & David I. Donaldson - 2018 - Frontiers in Human Neuroscience 12:412438.
Navigation strategy as a predictor of navigation performance.Rodgers M. Kirk, I. I. I. Sindone & D. Moffat Scott - unknown

Analytics

Added to PP
2022-04-08

Downloads
8 (#1,249,165)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Finite Model Theory.Heinz-Dieter Ebbinghaus & Jörg Flum - 2001 - Studia Logica 69 (3):449-449.

Add more references