Three Variables Suffice for Real-Time Logic.

Timos Antonopoulos Paul Hunter Shahab Raza James Worrell

Published in: FoSSaCS (2015)

Keyphrases

real time
low cost
control system
variable selection
logic programming
case study
mobile robot
modal logic
automated reasoning
real time systems
relevant variables