Suche in der Hochschulbibliografie

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

Treffer 1-10 von 12

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5135417960000350149GBVUOB_ALMA51354179600003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51354179600003501
Artikel
Bayesian hybrid automata : a formal model of justified belief in interacting hybrid systems subject to imprecise observation
von Paul Kröger ; Martin Fränzle
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Kröger, Paul
Enthalten in: Leibniz Transactions on Embedded Systems Wadern : Schloss Dagstuhl, 2014 8(2022), 2, Seite 1-27 Online-Ressource
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA5135418011000350149GBVUOB_ALMA51354180110003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51354180110003501
Artikel
A truly robust Signal Temporal Logic : monitoring safety properties of interacting cyber-physical systems under uncertain observation
von Bernd Finkbeiner ; Martin Fränzle ; Florian Kohn ; Paul Kröger
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Kröger, Paul
Enthalten in: Algorithms Basel : MDPI, 2008 15(2022), 4, Artikel-ID 126, Seite 1-17 Online-Ressource
Sprache: Englisch
>> Volltext
3
49GBVUOB_ALMA5135318918000350149GBVUOB_ALMA51353189180003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51353189180003501
Artikel
Verification of sigmoidal Artificial Neural Networks using iSAT
von Dominik Grundt ; Sorin Liviu Jurj ; Willem Hagemann ; Paul Kröger ; Martin Fränzle
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hagemann, WillemKröger, PaulFränzle, Martin ([1998-])
Enthalten in: Electronic proceedings in theoretical computer science Sydney : NICTA, 2008 361(2022), Seite 45-60
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA5133403192000350149GBVUOB_ALMA51334031920003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51334031920003501
Artikel
Bayesian hybrid automata : reconciling formal methods with metrology
von Paul Kröger ; Martin Fränzle
2021
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Kröger, Paul
Enthalten in: Information technology Berlin : De Gruyter, 1959 63(2021), 5/6, Seite 265-275 Online-Ressource
Sprache: Englisch
>> Volltext
5
49GBVUOB_ALMA5133133585000350149GBVUOB_ALMA51331335850003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51331335850003501
Artikel
System correctness under adverse conditions
von Ernst-Rüdiger Olderog ; Martin Fränzle ; Oliver Theel ; Paul Kröger
2021
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Theel, Oliver ([2002-])Kröger, PaulOlderog, Ernst-Rüdiger
Enthalten in: Information technology Berlin : De Gruyter, 1959 63(2021), 5/6, Seite 249-251 Online-Ressource
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA5129903860000350149GBVUOB_ALMA51299038600003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51299038600003501
Artikel
Guess what I’m doing! : rendering formal verification methods ripe for the era of interacting intelligent systems
von Martin Fränzle ; Paul Kröger
2020
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Kröger, PaulFränzle, Martin ([1998-])
Enthalten in: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 1st ed. 2020. Cham : Springer International Publishing, 2020 (2020), Seite 255-272 1 Online-Ressource(XXIII, 582 p. 2427 illus., 110 illus. in color.)
Sprache: Englisch
>> Volltext
7
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
8
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
9
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
10
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