Pages that link to "Item:Q5045474"
From MaRDI portal
The following pages link to Modelling and Verification of Timed Robotic Controllers (Q5045474):
Displaying 5 items.
- Timing control of switched systems with applications to robotic marionettes (Q1959116) (← links)
- Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light} (Q2198134) (← links)
- Deductive verification of simple foraging robotic behaviours (Q3653523) (← links)
- Task level specification and formal verification of robotics control systems: State of the art and case study (Q4546958) (← links)
- Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice (Q5484596) (← links)