Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
Robust Finite-State Controllers for Uncertain POMDPs

Sep 24, 2020
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu


  Access Paper or Ask Questions

Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization

Apr 11, 2020
Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu

* Submitted to 2020 CDC 

  Access Paper or Ask Questions

Synthesis of Provably Correct Autonomy Protocols for Shared Control

May 15, 2019
Murat Cubuktepe, Nils Jansen, Mohammed Alsiekh, Ufuk Topcu

* Submitted to IEEE Transactions of Automatic Control 

  Access Paper or Ask Questions

Reward-Based Deception with Cognitive Bias

Apr 25, 2019
Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu

* Submitted to CDC 2019 

  Access Paper or Ask Questions

The Partially Observable Games We Play for Cyber Deception

Sep 28, 2018
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

* 8 pages, 5 figures, 2 table; submitted to American Control Conference 2019 

  Access Paper or Ask Questions

Synthesis in pMDPs: A Tale of 1001 Parameters

Jul 31, 2018
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu


  Access Paper or Ask Questions

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints

Jul 30, 2018
Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu


  Access Paper or Ask Questions

Verification of Markov Decision Processes with Risk-Sensitive Measures

Feb 28, 2018
Murat Cubuktepe, Ufuk Topcu

* 7 pages, to appear in ACC 2018 

  Access Paper or Ask Questions

Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees

Oct 26, 2016
Nils Jansen, Murat Cubuktepe, Ufuk Topcu


  Access Paper or Ask Questions