M. Reynolds

Latest

• On timeline-based games and their complexity
• One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past