Fingerprint
Dive into the research topics of 'Annotated probabilistic temporal logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Annotated probabilistic temporal logic
Paulo Shakarian, Austin Parker, Gerardo Simari, Venkatramana Subrahmanian
Research output: Contribution to journal › Article › peer-review
29
Scopus
citations