( en | de | ru )

 

Disambiguierung von "Weiss, Gera"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Adapting Behaviors via Reactive Synthesis.

, , , , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 870-893. Springer, (2021)

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.

Lucio Gera

Sieghard Gera

Marco Gerards

Bedarf und ideale Standorte von automatisierten externen Defibrillatoren im Kreis Düren: eine retrospektive Analyse von 560 außerklinischen Reanimationsverläufen im Kreis Düren im Zeitraum vom 01.01.2002 bis 31.12.2005. TU Aachen, (2009)

Laura Gérard

Hans Gerathewohl

 

Weitere Publikationen von Autoren mit dem selben Namen

Preservation of controllability of single-input time-varying linear systems under sampling.. IEEE Trans. Automat. Contr., 50 (12): 2094-2096 (2005)Estimating the Probability of Meeting a Deadline in Hierarchical Plans., , und . IJCAI, Seite 1551-1557. AAAI Press, (2015)Automata Based Interfaces for Control and Scheduling., und . HSCC, Volume 4416 von Lecture Notes in Computer Science, Seite 601-613. Springer, (2007)Ranking Automata and Games for Prioritized Requirements., , und . CAV, Volume 5123 von Lecture Notes in Computer Science, Seite 240-253. Springer, (2008)Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries., , und . EXE@MoDELS, Volume 1760 von CEUR Workshop Proceedings, Seite 5-11. CEUR-WS.org, (2016)Modeling and Analysis of Multi-hop Control Networks., , , , und . IEEE Real-Time and Embedded Technology and Applications Symposium, Seite 223-232. IEEE Computer Society, (2009)A combinatorial game approach to state nullification by hybrid feedback.. CDC, Seite 4643-4647. IEEE, (2007)Robust stability of multi-hop control networks., , , , und . CDC, Seite 2210-2215. IEEE, (2009)Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea)., , , , und . AAAI, Seite 9770-9774. AAAI Press, (2019)Towards Integration of Context-Based and Scenario-Based Development., , , und . STAF Workshops, Volume 10748 von Lecture Notes in Computer Science, Seite 225-231. Springer, (2017)