Min–Max Inequalities and the Timing Verification Problem with Max and Linear Constraints Yiping ChengDa-Zhong Zheng Original Article Pages: 119 - 143
PSPACE-completeness of Modular Supervisory Control Problems* Kurt RohloffStéphane Lafortune Original Article Pages: 145 - 167
Basic Ideas for Event-Based Optimization of Markov Systems Xi-Ren Cao Original Article Pages: 169 - 197