( en | de | ru )

 

Disambiguierung von "Fränzle, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying Reachability Properties in Markov Chains via Incremental Induction.

, , , und . CoRR, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martin Fränzle

Otto Fränzle

Stefan Fränzle

Martin Brückner

Vergleichende Untersuchungen zur Inzidenz apoptotischer und proliferativer Veränderungen kultivierter, humaner Knochenzellen von Ober- und Unterkiefer auf maschinenbearbeitetem, reinem Titan über 25 Tage. Uni Leipzig, (2009)

Martin Breitenfeldt

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

Weitere Publikationen von Autoren mit dem selben Namen

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