Stefan Mitsch

Follow

Person

Pittsburgh, PA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Runtime model validation for partially-observable hybrid systems
- Patent number 11,204,838
- Issue date Dec 21, 2021
- Carnegie Mellon University
- Stefan Mitsch
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verified runtime validation of verified cyber-physical system models
- Patent number 10,872,187
- Issue date Dec 22, 2020
- Carnegie Mellon University
- André Platzer
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SYSTEMS AND METHODS FOR VERIFYING TRAIN CONTROLLERS
- Publication number 20240416981
- Publication date Dec 19, 2024
- Carnegie Mellon University
- Andre PLATZER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RUNTIME MODEL VALIDATION FOR PARTIALLY-OBSERVABLE HYBRID SYSTEMS
- Publication number 20200089570
- Publication date Mar 19, 2020
- Carnegie Mellon University
- Stefan Mitsch
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Verified Runtime Validation of Verified Cyber-Physical System Models
- Publication number 20160253437
- Publication date Sep 1, 2016
- Carnegie Mellon University
- André Platzer
- G06 - COMPUTING CALCULATING COUNTING