( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees.

, , , и . ICRA, стр. 3227-3232. IEEE, (2010)

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.

Morteza Charifi

Morteza Ghaseminia

Morteza Rad

Morteza Aleyassin

Morteza Scharifzadeh

 

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

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees, , и . IEEE Transactions on Robotics, 28 (2): 396--409 (апреля 2012)Synthesis for Robots: Guarantees and Feedback for Robot Behavior., , и . Annu. Rev. Control. Robotics Auton. Syst., (2018)Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes., , , , и . IEEE Trans. Autom. Control., 66 (1): 17-32 (2021)Timed Partial Order Inference Algorithm., , , , , , и . ICAPS, стр. 639-647. AAAI Press, (2023)Conflict-Based Search for Explainable Multi-Agent Path Finding., , и . ICAPS, стр. 692-700. AAAI Press, (2022)Explainable Multi Agent Path Finding., и . AAMAS, стр. 34-42. International Foundation for Autonomous Agents and Multiagent Systems, (2020)Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves., , , , и . ACM Trans. Model. Comput. Simul., 29 (4): 27:1-27:31 (2019)Chance-Constrained Motion Planning with Event-Triggered Estimation., , , , и . ICRA, стр. 7944-7950. IEEE, (2023)Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation., , и . ICRA, стр. 4340-4346. IEEE, (2022)Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems., , , , , и . HSCC, стр. 240-251. ACM, (2019)