Pages that link to "Item:Q4546958"
From MaRDI portal
The following pages link to Task level specification and formal verification of robotics control systems: State of the art and case study (Q4546958):
Displaying 6 items.
- Bisimulation conversion and verification procedure for goal-based control systems (Q633304) (← links)
- Global control of robotic highway safety markers: a real-time solution (Q813130) (← links)
- Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light} (Q2198134) (← links)
- Formal Verification Applied to Robotic Surgery (Q4560620) (← links)
- Verification of heterogeneous multi-agent system using MCMAS (Q5265639) (← links)
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges (Q6160737) (← links)