Schmid, Tobias
- Formal Verification of a Fail-Operational Automotive Driving System
2021/01/18 by Tobias Schmid, Schmid, Tobias, Stefanie Schraufstetter +9 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
- Blow up dynamics for the 3D energy-critical Nonlinear Schrödinger equation
2023/08/03 by Schmid, Tobias · 1 citation
#Analysis of PDEs (math.AP) #FOS: Mathematics