Daniel Kernberger

According to our database, Daniel Kernberger authored at least 6 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

On the expressive power of hybrid branching-time logics.

Daniel Kernberger, Martin Lange

Theor. Comput. Sci., 2020

Model checking for hybrid branching-time logics.

Daniel Kernberger, Martin Lange

J. Log. Algebraic Methods Program., 2020

2019

Hybrid Branching-Time Logics.

Daniel Kernberger

PhD thesis, 2019

2017

The Fully Hybrid mu-Calculus.

Daniel Kernberger, Martin Lange

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

2016

A Canonical Model Construction for Iteration-Free PDL with Intersection.

Florian Bruse, Daniel Kernberger, Martin Lange

Proceedings of the Seventh International Symposium on Games, 2016

Model Checking for the Full Hybrid Computation Tree Logic.

Daniel Kernberger, Martin Lange

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016