Policy synthesis for factored MDPs with graph temporal logic specifications

Murat Cubuktepe, Zhe Xu, Ufuk Topcu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

7 Scopus citations

Fingerprint

Dive into the research topics of 'Policy synthesis for factored MDPs with graph temporal logic specifications'. Together they form a unique fingerprint.

Engineering & Materials Science