( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Scenario-Based Verification of Uncertain MDPs.

, , , , и . TACAS (1), том 12078 из Lecture Notes in Computer Science, стр. 287-305. Springer, (2020)

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.

Ufuk Otag

Mehmet Topcu

Habibe Dilek Topcu

Halil Engin Ufuk

Sad Cem Topcuo lu

 

Другие публикации лиц с тем же именем

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints., , , и . CoRR, (2018)Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints., и . CoRR, (2014)Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication, , и . CoRR, (2012)Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints., , , , и . IEEE Trans. Autom. Control., 65 (4): 1552-1567 (2020)Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations., , , и . CoRR, (2020)Extrapolated Proportional-Integral Projected Gradient Method for Conic Optimization., , , и . IEEE Control. Syst. Lett., (2023)Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions., , , , , , и . IEEE Trans. Autom. Control., 66 (3): 1040-1054 (2021)Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach., , , и . IEEE Trans. Autom. Control., 68 (4): 2245-2260 (2023)Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching., , , , и . IEEE Trans. Autom. Control., 68 (1): 532-539 (2023)Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality., , , и . IEEE Trans. Robotics, 39 (5): 3464-3478 (октября 2023)