Hunter, Paul

1. When is Metric Temporal Logic Expressively Complete?
   2012/09/04 by Hunter, Paul, Ouaknine, Joël, Worrell, James · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Quantitative games with interval objectives
   2014/04/18 by Hunter, Paul, Raskin, Jean-François · 1 citation
   #Computer Science and Game Theory (cs.GT) #F.1.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)