Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy.

Denis Thrien, Thomas Wilke

Browse the full FOCS paper archive.