Login / Signup
Dorit Pardo Ordentlich
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Temporally Extended
Model Checker
Reactive Systems
Temporal Logic
Top Venues
MFCS
</>
Publications
</>
Dorit Pardo Ordentlich
,
Alexander Rabinovich
A Finite Basis for 'Almost Future' Temporal Logic over the Reals.
MFCS
(2012)