Fingerprint
Dive into the research topics of 'Probabilistic Temporal Logic for Reasoning about Bounded Policies'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Probabilistic Temporal Logic for Reasoning about Bounded Policies
Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan
Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution