(Tel Aviv)

We develop metric temporal logic within the framework of monadic logic, with the positive real line as its canonical model. This makes evolving programs a special case of systems evolving in time (not necessarily with finite variability). Decidability and complexity results are derived from the non metric case, without resorting to automata theory, and apply also to processes without finite variability. We hope that this work (joint with Alex Rabinovich) will put in order a chaotic domain where lots of talent was invested achieving advanced technical results within (arguable) unnatural frameworks.Robert Recorde Room

Department of Computer Science