Showing 1 - 3 results of 3 for search 'Łukasz Kaiser', query time: 0.02s
Refine Results
-
1
Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems by Diana Fischer, Lukasz Kaiser
Published 2012-09-01
Article -
2
Degrees of Lookahead in Regular Infinite Games by Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas
Published 2012-09-01
Article -
3