Suche in der Hochschulbibliografie

Suche nach: Person = 'Kröger, Paul'

Treffer 11-16 von 16

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

11
49GBVUOB_ALMA5127033690000350149GBVUOB_ALMA51270336900003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51270336900003501
Artikel
In Memory of Oded Maler : automatic reachability analysis of hybrid-state automata
von Martin Fränzle ; Mingshuai Chen ; Paul Kröger
2019
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Kröger, PaulFränzle, Martin ([1998-])
Enthalten in: ACM SIGLOG news New York, NY : ACM, 2014 6(2019), 1, Seite 19-39 Online-Ressource
Sprache: Englisch
>> Volltext
12
49GBVUOB_ALMA5127019870000350149GBVUOB_ALMA51270198700003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51270198700003501
Artikel
Dynamic conflict resolution using justification based reasoning
von Werner Damm ; Martin Fränzle ; Willem Hagemann ; Paul Kröger ; Astrid Rakow
2019
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Hagemann, WillemKröger, PaulRakow, AstridDamm, Werner
Enthalten in: Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (4. : 2019 : Prag) Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology [Waterloo, NSW] : [Open Publishing Association], 2019 (2019), Seite 47-65 1 Online-Ressource
Sprache: Englisch
>> Volltext
13
49GBVUOB_ALMA5127019885000350149GBVUOB_ALMA51270198850003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51270198850003501
Artikel
Justification based reasoning in dynamic conflict resolution
von Werner Damm ; Martin Fränzle ; Willem Hagemann ; Paul Kröger ; Astrid Rakow
2019
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Hagemann, WillemKröger, PaulRakow, AstridDamm, Werner
Umfang: 17.
Enthalten in: Arxiv Ithaca, NY : Cornell University, 1991 2019 (28. Mai), insges. 17 Seiten Online-Ressource
Sprache: Englisch
>> Volltext
14
49GBVUOB_ALMA5125361710000350149GBVUOB_ALMA51253617100003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51253617100003501
Artikel
The Demon, the Gambler, and the Engineer : reconciling hybrid-system theory with metrology
von Martin Fränzle ; Paul Kröger
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Kröger, PaulFränzle, Martin ([1998-])
Enthalten in: Symposium on Real-Time and Hybrid Systems Cham : Springer International Publishing, 2018 (2018), Seite 165-185 Online-Ressource (XII, 263 p. 68 illus, online resource)
Sprache: Englisch
>> Volltext
15
49GBVUOB_ALMA5125336820000350149GBVUOB_ALMA51253368200003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51253368200003501
Artikel
Perspectives on the validation and verification of machine learning systems in the context of highly automated vehicles
von Werner Damm ; Martin Fränzle ; Sebastian Gerwinn ; Paul Kröger
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Gerwinn, SebastianKröger, PaulDamm, Werner
Enthalten in: AAAI Spring Symposium Series (2018 : Stanford, Calif.) The 2018 AAAI Spring Symposium Series technical report Palo Alto, California, USA, 2018 (2018), Seite 512-515 1 Online-Ressource
Sprache: Englisch
>> Volltext
16
49GBVUOB_ALMA5121987127000350149GBVUOB_ALMA51219871270003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219871270003501
Artikel
Multi-objective parameter synthesis in probabilistic hybrid systems
von Martin Fränzle ; Sebastian Gerwinn ; Paul Kröger ; Alessandro Abate ; Joost-Pieter Katoen
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Gerwinn, SebastianKröger, PaulFränzle, Martin ([1998-])
Enthalten in: Formal Modeling and Analysis of Timed Systems 1st ed. 2015 Cham [u.a.] : Springer, 2015 (2015), Seite 93-107 Online-Ressource (X, 321 p. 90 illus, online resource)
Sprache: Englisch
>> Volltext