PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Ábrahám, Erika"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SMarTplan: a Task Planner for Smart Factories.

, , , , und . CoRR, (2018)

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.

Erika Bäcker University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Some recent advances in automated analysis., und . STTT, 18 (2): 121-128 (2016)Two CEGAR-based approaches for the safety verification of PLC-controlled plants., , , , und . Information Systems Frontiers, 18 (5): 927-952 (2016)Task Planning with OMT: An Application to Production Logistics., , und . IFM, Volume 11023 von Lecture Notes in Computer Science, Seite 316-325. Springer, (2018)A Tool-Supported Proof System for Multithreaded Java., , , und . FMCO, Volume 2852 von Lecture Notes in Computer Science, Seite 1-32. Springer, (2002)A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic., , und . CASC, Volume 9890 von Lecture Notes in Computer Science, Seite 315-335. Springer, (2016)Minimal Critical Subsystems for Discrete-Time Markov Models., , , , und . TACAS, Volume 7214 von Lecture Notes in Computer Science, Seite 299-314. Springer, (2012)Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking., , , , und . FMOODS/FORTE, Volume 6722 von Lecture Notes in Computer Science, Seite 75-89. Springer, (2011)SMT Solving for Arithmetic Theories: Theory and Tool Support., und . SYNASC, Seite 1-8. IEEE Computer Society, (2017)Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies., , , , und . SETTA, Volume 9984 von Lecture Notes in Computer Science, Seite 229-245. (2016)Stochastic Bounded Model Checking: Bounded Rewards and Compositionality., , , und . MBMV, Seite 243-254. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)