33 citations · 99 across the 17 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.FL2014★ 1 cited
Hourglass Automata
Yuki Osada, Tim French, Mark Reynolds +1
In this paper, we define the class of hourglass automata, which are timed automata with bounded clocks that can be made to progress backwards as well as forwards at a constant rate…
cs.LO2014★ 5 cited
A composable language for action models
Tim French, James Hales, Edwin Tay
Action models are semantic structures similar to Kripke models that represent a change in knowledge in an epistemic setting. Whereas the language of action model logic embeds the s…