PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kloetzer, Marius"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Automated Framework for Formal Verification of Timed Continuous Petri Nets.

, , , und . IEEE Trans. Industrial Informatics, 6 (3): 460-471 (2010)

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.

Marius Bürger University of Stuttgart

Cleavage of natural rubber by rubber oxygenases in Gram-negative bacteria, , , und . Applied microbiology and biotechnology, 108 (1): 191 (2024)

Marius Kurz University of Stuttgart

Toward discretization-consistent closure schemes for large eddy simulation using reinforcement learning, und . Physics of fluids, 35 (12): 125122 (2023)

Marius Reitinger University of Stuttgart

Marius Schmidt University of Stuttgart

Dr. -Ing. Marius Feilhauer University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Managing non-determinism in symbolic robot motion planning and control., und . ICRA, Seite 3110-3115. IEEE, (2007)Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE)., , , , und . ICRA, Seite 2055-2060. IEEE, (2009)A Fully Automated Framework for Control of Linear Systems from LTL Specifications., und . HSCC, Volume 3927 von Lecture Notes in Computer Science, Seite 333-347. Springer, (2006)Multi-robot path planning for syntactically co-safe LTL specifications., und . WODES, Seite 452-458. IEEE, (2016)Hierarchical Abstractions for Robotic Swarms., und . ICRA, Seite 952-957. IEEE, (2006)Formal analysis of timed continuous Petri nets., , , , und . CDC, Seite 245-250. IEEE, (2008)A Framework for Automatic Deployment of Robots in 2D and 3D Environments., und . IROS, Seite 953-958. IEEE, (2006)A probabilistic abstraction approach for planning and controlling mobile robots., , und . ETFA, Seite 1-8. IEEE, (2011)An Automated Framework for Formal Verification of Timed Continuous Petri Nets., , , und . IEEE Trans. Industrial Informatics, 6 (3): 460-471 (2010)Collision avoidance of mobile robots by using initial time delays., , , und . CDC, Seite 324-329. IEEE, (2015)