Modelling and Verification of Timed Robotic Controllers

DOI10.1007/978-3-319-66845-1_2zbMath1498.93481OpenAlexW2749958572WikidataQ60473539 ScholiaQ60473539MaRDI QIDQ5045474

Alvaro Miyazawa, Ana Cavalcanti, Jon Timmis, Pedro Ribeiro, Wei Li

Publication date: 4 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-66845-1_2

zbMATH Keywords

process algebrasemanticsroboticsCSPrefinement

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Modelling and Verification of Timed Robotic Controllers