search result

Cover von Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles

Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles

Author: Decke, Hendrik
Year: 2020
Media group: OASICS
Cover von A Van Benthem Theorem for Modal Team Semantics

A Van Benthem Theorem for Modal Team Semantics

Year: 2015
Media group: LIPIcs
OPEN V 11.1.0.0