Model Checking for Safe Navigation Among Humans

DOI10.1007/978-3-319-99154-2_13zbMath1514.68136OpenAlexW2887520717MaRDI QIDQ6104810

Sebastian Junges, Joost-Pieter Katoen, Ruohan Zhang, Nils Jansen, Mary Hayhoe, Ufuk Topcu

Publication date: 28 June 2023

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-99154-2_13

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Automated systems (robots, etc.) in control theory (93C85) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Multi-agent systems (93A16)

Related Items (2)

Symbolic verification and strategy synthesis for turn-based stochastic games ⋮ Learning that grid-convenience does not hurt resilience in the presence of uncertainty

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modular inverse reinforcement learning for visuomotor behavior
• The complexity of stochastic games
• A logic for reasoning about time and reliability
• Multiagent learning using a variable learning rate
• Verification of Markov Decision Processes Using Learning Algorithms
• Multi-Objective Model Checking of Markov Decision Processes
• The Probabilistic Model Checking Landscape

This page was built for publication: Model Checking for Safe Navigation Among Humans