Tim French
Identifiers
- name variant Tim French 0.60 · backfill
Papers (10)
- Causal Reinforcement Learning for Complex Card Games: A Magic The Gathering Benchmark cs.LG · 2026 · author #3
- PODiff: Latent Diffusion in Proper Orthogonal Decomposition Space for Scientific Super-Resolution cs.LG · 2026 · author #2
- A modal aleatoric calculus for probabilistic reasoning: extended version cs.LO · 2018 · author #1
- Trace Expressiveness of Timed and Probabilistic Automata cs.LO · 2017 · author #2
- Timed Automata with Polynomial Delay and their Expressiveness cs.LO · 2017 · author #2
- Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour cs.FL · 2016 · author #3
- A composable language for action models cs.LO · 2014 · author #1
- Knowledge, Awareness, and Bisimulation cs.LO · 2013 · author #2
- Specifying Robustness cs.LO · 2013 · author #2
- Refinement Modal Logic cs.LO · 2012 · author #3
Mentions
Frequent Coauthors
- Mark Reynolds 5 shared papers
- Hans van Ditmarsch 2 shared papers
- James Hales 2 shared papers
- Sophie Pinchinat 2 shared papers
- Valentin Bura 2 shared papers
- Ajmal Mian 1 shared papers
- Andrew Gozzard 1 shared papers
- Cristiano da Costa Cunha 1 shared papers
- Edwin Tay 1 shared papers
- Fernando R. Velazquez-Quesada 1 shared papers
- John C. McCabe-Dansted 1 shared papers
- Laura Bozzelli 1 shared papers
- Matthew Rayson 1 shared papers
- Nicole L. Jones 1 shared papers
- Omar Al-Bataineh 1 shared papers
- Onkar Jadhav 1 shared papers
- Wei Liu 1 shared papers
- Yi N. Wang 1 shared papers