Evaluating probabilistic model checking tools for verification of robot control policies

DOI10.3233/AIC-150689zbMath1373.68410OpenAlexW2175865379WikidataQ113417298 ScholiaQ113417298MaRDI QIDQ4592700

Shashank Pathak, Armando Tacchella, Luca Pulina

Publication date: 8 November 2017

Published in: AI Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/aic-150689

zbMATH Keywords

probabilistic model checkingexperimental evaluationPMC case studies

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

This page was built for publication: Evaluating probabilistic model checking tools for verification of robot control policies