author : Stavros Tripakis

Short works

• On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. 1999. (In FM'99 volume 1 )