papers
Publications (9)
cs.FL2014
Hourglass Automata
Yuki Osada, Tim French, Mark Reynolds +1
cs.FL2016
Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour
Omar Al-Bataineh, Mark Reynolds, Tim French
cs.LO2013
Specifying Robustness
John C. McCabe-Dansted, Tim French, Mark Reynolds +1
cs.LO2019
Timed Automata with Polynomial Delay and their Expressiveness
Valentin Bura, Tim French, Mark Reynolds
cs.LO2014
A composable language for action models
Tim French, James Hales, Edwin Tay
cs.LO2013
Refinement Modal Logic
Laura Bozzelli, Hans van Ditmarsch, Tim French +2
cs.LO2018
A modal aleatoric calculus for probabilistic reasoning: extended version
Tim French, Andrew Gozzard, Mark Reynolds
cs.LO2019
Trace Expressiveness of Timed and Probabilistic Automata
Valentin Bura, Tim French, Mark Reynolds
cs.LO2013
Knowledge, Awareness, and Bisimulation
Hans van Ditmarsch, Tim French, Fernando R. Velazquez-Quesada +1