( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ARCH-COMP21 Category Report: Stochastic Models.

, , , , , , , , , , , , , , , , , , , и . ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 55-89. EasyChair, (2021)

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.

Sofie Henschel

Sofie Götze

Sofie Rupprecht

Sofie Hanisch

Sofie Dauner

 

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

Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems., и . CoRR, (2018)Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes., , и . CoRR, (2014)Direct Data-Driven State-Feedback Control of General Nonlinear Systems., , , и . CDC, стр. 3688-3693. IEEE, (2023)Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications., , , , и . CoRR, (2024)Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement., , и . QEST, том 9826 из Lecture Notes in Computer Science, стр. 227-243. Springer, (2016)Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems., , , и . IEEE Trans. Autom. Control., 66 (3): 1024-1039 (2021)Multi-agent discrete-time graphical games: interactive Nash equilibrium and value iteration solution., , , , и . ACC, стр. 4189-4195. IEEE, (2013)Automated Formation Control Synthesis from Temporal Logic Specifications., , , и . CDC, стр. 5165-5170. IEEE, (2023)Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces., , , , и . CDC, стр. 6282-6287. IEEE, (2019)Multi-layered simulation relations for linear stochastic systems., и . ECC, стр. 728-733. IEEE, (2021)