Kilian Lichtner

According to our database, Kilian Lichtner authored at least 1 paper in 2026.

Collaborative distances:

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

2026

Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking).

Kilian Lichtner, Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026