( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces.

, , , , и . CDC, стр. 6282-6287. IEEE, (2019)

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 Hanisch

Sofie Götze

Sofie Rupprecht

Sofie Henschel

Sofie Dauner

 

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

Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes., , и . CoRR, (2014)Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems., и . CoRR, (2018)Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications., , , , и . CoRR, (2024)Direct Data-Driven State-Feedback Control of General Nonlinear Systems., , , и . CDC, стр. 3688-3693. IEEE, (2023)Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations., , , , , , и . ADHS, том 51 из IFAC-PapersOnLine, стр. 271-276. Elsevier, (2018)Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams., , , , , , , и . Robotics: Science and Systems, (2018)ARCH-COMP21 Category Report: Stochastic Models., , , , , , , , , и 10 other автор(ы). ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 55-89. EasyChair, (2021)Verification of general Markov decision processes by approximate similarity relations and policy refinement., , и . CoRR, (2016)A Linear Parameter-Varying Approach to Data Predictive Control., , , , и . CoRR, (2023)Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers., , и . CoRR, (2022)