7 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.LO2011★ 7 cited
Automata and temporal logic over arbitrary linear time
Julien Cristau
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running syst…
cs.GT2010★ 5 cited
How do we remember the past in randomised strategies?
Julien Cristau, Claire David, Florian Horn
Graph games of infinite length are a natural model for open reactive processes: one player represents the controller, trying to ensure a given specification, and the other represen…