Send email Copy Email Address
PhD Student

Tom Baumeister

Email

Phone

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Member of Groups

Publications by Tom Baumeister

Year 2020

2020-10

Explainable Reactive Synthesis

chapter

Automated Technology for Verification and Analysis

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page