6 papers:
LICS-2015-ClementeR #multi #problem #worst-case- Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives (LC, JFR), pp. 257–268.
CHI-2012-VinotA #design #safety- Legible, are you sure?: an experimentation-based typographical design in safety-critical context (JLV, SA), pp. 2287–2296.
- LICS-2008-BaierBBBG #automaton #infinity #model checking
- Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata (CB, NB, PB, TB, MG), pp. 217–226.
PPDP-2007-Gnaedig #induction #termination- Induction for positive almost sure termination (IG), pp. 167–178.
RTA-2006-BournezG #proving #termination- Proving Positive Almost Sure Termination Under Strategies (OB, FG), pp. 357–371.
- RTA-2005-BournezG #proving #termination
- Proving Positive Almost-Sure Termination (OB, FG), pp. 323–337.
