( en | de | ru )

 

Disambiguation of "Fränzle, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Reach-avoid Verification Based on Convex Optimization.

, , , , and . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martin Fränzle

Otto Fränzle

Stefan Fränzle

Martin Breitenfeldt

Mass measurements on short-lived Cd and Ag nuclides at the online mass spectrometer ISOLTRAP. Uni Greifswald, (2009)

Martin Faes

Analyse der mehrskaligen Transportmechanismen beim laminaren Mischen mittels laseroptischer und numerischer Methoden. Uni Hannover, (2009)
 

Other publications of authors with the same name

Justification Based Reasoning in Dynamic Conflict Resolution., , , , and . CoRR, (2019)ARCH-COMP19 Category Report: Stochastic Modelling., , , , , , , , , and 5 other author(s). ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 62-102. EasyChair, (2019)Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving., , , , , , , and . SC²@SYNASC, volume 1804 of CEUR Workshop Proceedings, page 32-38. CEUR-WS.org, (2016)A sampling-based approach for handling delays in continuous and hybrid systems., and . it Inf. Technol., 63 (5-6): 289-298 (2021)Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems., , and . CDC, page 867-873. IEEE, (2020)Evaluation of graphical human-machine interfaces for turning manoeuvres in automated vehicles., , , , , and . AutomotiveUI (adjunct), page 77-80. ACM, (2021)Robust invariant sets generation for state-constrained perturbed polynomial systems., , , and . HSCC, page 128-137. ACM, (2019)A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation., , , and . Algorithms, 15 (4): 126 (2022)Challenges for Integrating Humans into Vehicular Cyber-Physical Systems., , , , , and . SEFM Workshops, volume 12226 of Lecture Notes in Computer Science, page 20-26. Springer, (2019)Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations., , , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 650-669. Springer, (2019)