Search

Home
Research Philosophy
Tools
Publications
Contact
CV

Light Dark Automatic

Thorsten Berger

Latest

High-level mission specification for multiple robots
PsALM: specification of dependable robotic missions
Specification patterns for robotic missions
An Architecture for Decentralized, Collaborative, and Autonomous Robots
Property specification patterns for robotic missions

Powered by the Academic theme for Hugo.

Cite