( en | de | ru )

 

Disambiguierung von "Ábrahám, Erika"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.

, , , und . TASE, Volume 13931 von Lecture Notes in Computer Science, Seite 164-182. Springer, (2023)

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.

Abraham Wilentschuk

Rainer Abraham

Günter Abraham

Abraham Merel

Norbert Abraham

 

Weitere Publikationen von Autoren mit dem selben Namen

A Tool-Supported Proof System for Multithreaded Java., , , und . FMCO, Volume 2852 von Lecture Notes in Computer Science, Seite 1-32. Springer, (2002)Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection., , , und . CoRR, (2024)Hybrid Sequential Function Charts., und . MBMV, Volume 68 von Forschungsergebnisse zur Informatik, Seite 109-120. Verlag Dr. Kovac, (2012)FMplex: A Novel Method for Solving Linear Real Arithmetic Problems., , , und . GandALF, Volume 390 von EPTCS, Seite 16-32. (2023)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , und . ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 1-31. EasyChair, (2021)New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)., , , , und . PAAR+SC²@IJCAR, Volume 2752 von CEUR Workshop Proceedings, Seite 178-188. CEUR-WS.org, (2020)Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems., , , und . ECMS, Seite 407-413. European Council for Modeling and Simulation, (2019)Communications of the ECMS, Volume 33, Issue 1, June 2019.Probabilistic Hyperproperties with Rewards., , , , und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 656-673. Springer, (2022)Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks., , , und . TASE, Volume 13931 von Lecture Notes in Computer Science, Seite 164-182. Springer, (2023)Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework., , und . SC²@ISSAC, Volume 1974 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)