Formal Verification Applied to Robotic Surgery

DOI10.1007/978-3-319-10407-2_40zbMath1403.93140OpenAlexW174241075MaRDI QIDQ4560620

Luca Geretti, Riccardo Muradore, Paolo Fiorini, Davide Bresolin, Tiziano Villa

Publication date: 12 December 2018

Published in: Coordination Control of Distributed Systems (Search for Journal in Brave)

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

zbMATH Keywords

formal verificationreachability analysishybrid automatonstate space representationsafety property

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reliability, availability, maintenance, inspection in operations research (90B25) Automated systems (robots, etc.) in control theory (93C85) Attainable sets, reachability (93B03)

Related Items (1)

A higher order method for input-affine uncertain systems

Uses Software

• PHAVer
• HyTech
• RSOLVER
• HSolver
• SpaceEx

Cites Work

• Counterexample-guided predicate abstraction of hybrid systems
• Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>
• Hybrid Systems: Computation and Control

This page was built for publication: Formal Verification Applied to Robotic Surgery