Search results for: R. Alur
Lecture Notes in Control and Information Sciences > Experimental Robotics VII > Multi-robot Systems > 303-312
IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics) > 2010 > 40 > 2 > 412 - 420
26th IEEE International Real-Time Systems Symposium (RTSS'5) > 10 pp. - 120
Formal Methods in System Design > 2001 > 18 > 2 > 97-116
Information and Computation > 1995 > 118 > 1 > 142-157
Theoretical Computer Science > 1995 > 138 > 1 > 3-34