( en | de | ru )

 

Disambiguation of "Kröger, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Justification Based Reasoning in Dynamic Conflict Resolution.

, , , , and . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paul Kröger

Paul Kröger

Torsten Kröger

On-line trajectory generation in robotic systems: basic concepts for instantaneous reactions to unforeseen (sensor) events. TU Braunschweig, (2009)

Hannes Kröger

Knut Kröger

 

Other publications of authors with the same name

Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems., and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 255-272. Springer, (2020)Justification Based Reasoning in Dynamic Conflict Resolution., , , , and . CoRR, (2019)A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation., , , and . Algorithms, 15 (4): 126 (2022)Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation., and . Leibniz Trans. Embed. Syst., 8 (2): 05:1-05:27 (2022)Verification of Sigmoidal Artificial Neural Networks using iSAT., , , , and . SNR, volume 361 of EPTCS, page 45-60. (2021)Dynamic Conflict Resolution Using Justification Based Reasoning., , , , and . CREST@ETAPS, volume 308 of EPTCS, page 47-65. (2019)Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles., , , and . AAAI Spring Symposia, AAAI Press, (2018)The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology., and . Symposium on Real-Time and Hybrid Systems, volume 11180 of Lecture Notes in Computer Science, Springer, (2018)In memory of Oded Maler: automatic reachability analysis of hybrid-state automata., , and . ACM SIGLOG News, 6 (1): 19-39 (2019)Bayesian hybrid automata: Reconciling formal methods with metrology., and . it Inf. Technol., 63 (5-6): 265-275 (2021)