A Framework for Verifying Autonomous Robotic Agents Against Environment Assumptions.

Hoang Tung Dinh Tom Holvoet

Published in: PAAMS (2020)

Keyphrases

robotic agents
key features
dynamic environments
mobile robot
genetic algorithm
main contribution
reinforcement learning
image sequences
real time
probabilistic model
database systems
metadata
theoretical framework
artificial intelligence
robotic systems
conceptual framework
complex environments