Advancing Safe Robot Behavior by Formalizing STPA with Tumato
Year: 2024
Type: conference-paper
Authors: Jan Vermaelen, Tom Holvoet
Institution: KU Leuven
Language: English
Subfield: Safety, Risk, Reliability and Quality
Field: Engineering
Domain: Physical Sciences
Open Access status: closed
Funder: KU Leuven
OpenAlex ID: W4409013703
