( 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 Faes

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

Martin Klug

The late Quaternary environmental and climatic history of North-East Greenland, inferred from coastal lakes. Uni Köln, (2009)
 

Other publications of authors with the same name

In memory of Oded Maler: automatic reachability analysis of hybrid-state automata., , and . ACM SIGLOG News, 6 (1): 19-39 (2019)Verifying Simulink diagrams via a Hybrid Hoare Logic Prover., , , , and . EMSOFT, page 9:1-9:10. IEEE, (2013)Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles., , , , and . Applicable Formal Methods for Safe Industrial Products, volume 14165 of Lecture Notes in Computer Science, page 180-201. Springer, (2023)Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games (full version)., , and . CoRR, (2023)Costs and rewards in priced timed automata., , , and . Inf. Comput., (2022)Bayesian hybrid automata: Reconciling formal methods with metrology., and . it Inf. Technol., 63 (5-6): 265-275 (2021)System correctness under adverse conditions., , , and . it Inf. Technol., 63 (5-6): 249-251 (2021)Handling of Operating Modes in Contract-Based Timing Specifications., , , , and . VECoS, volume 13187 of Lecture Notes in Computer Science, page 59-74. Springer, (2021)Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction., , , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 501-520. Springer, (2021)Probably Approximate Safety Verification of Hybrid Dynamical Systems., , , , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 236-252. Springer, (2019)