Back to Results
First PageMeta Content
Boolean algebra / Non-classical logic / Logical connectives / Modal logic / Philosophical logic / Markov chain / Linear temporal logic / Negation / IP / Logic / Mathematical logic / Propositional calculus


Temporal Logic in a Stochastic Environment B. Strulo P.G. Harrisony D. Gabbay Department of Computing Imperial College LONDON SW7 2BZ Abstract
Add to Reading List

Document Date: 2011-11-15 09:34:37

Open Document

File Size: 208,48 KB

Share Result on Facebook

City

LONDON / /

Company

ESPRIT / /

Currency

pence / /

Facility

Computing Imperial College / /

Holiday

Assumption / /

IndustryTerm

reactive systems / real-time control systems / steady-state solution / /

Organization

African Union / Stochastic Environment B. Strulo P.G. Harrisony D. Gabbay Department / /

/

Position

MetateM interpreter / interpreter / /

ProvinceOrState

Virginia / /

Technology

operating system / /

SocialTag