PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Cubuktepe, Murat"

Author of the publication

copydeleteadd this publication to your clipboard
Sequential Convex Programming for the Efficient Verification of Parametric MDPs.

, , , , , , and . CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Cubuktepe, Murat
add a person with the name Cubuktepe, Murat
 

Other publications of authors with the same name

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints., , , and . CoRR, (2018)The Partially Observable Games We Play for Cyber Deception., , , , , and . CoRR, (2018)Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees., , and . CoRR, (2016)Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications., , and . IEEE Trans. Control. Netw. Syst., 8 (4): 1799-1810 (2021)Verification of Uncertain POMDPs Using Barrier Certificates., , , and . Allerton, page 115-122. IEEE, (2018)Synthesis of Provably Correct Autonomy Protocols for Shared Control., , , and . CoRR, (2019)Distributed Synthesis Using Accelerated ADMM., , , and . ACC, page 6206-6211. IEEE, (2018)Synthesis in pMDPs: A Tale of 1001 Parameters., , , , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 160-176. Springer, (2018)Entropy Maximization for Constrained Markov Decision Processes., , , and . Allerton, page 911-918. IEEE, (2018)Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets., , , and . ADHS, volume 51 of IFAC-PapersOnLine, page 115-120. Elsevier, (2018)