( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Multi-robot path planning for syntactically co-safe LTL specifications.

, и . WODES, стр. 452-458. IEEE, (2016)

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.

Cristian Sommariva

Cristian Chitu

Cristian Picioreanu

Cristian Weiss

Cristian Cosentino

 

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

Robot Planning Based on Boolean Specifications Using Petri Net Models., и . IEEE Trans. Automat. Contr., 63 (7): 2218-2225 (2018)Modular Petri net modeling of the Spanish health system., , и . ETFA, стр. 1-8. IEEE, (2012)An Automated Framework for Formal Verification of Timed Continuous Petri Nets., , , и . IEEE Trans. Ind. Informatics, 6 (3): 460-471 (2010)Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation., , , , и . CoRR, (2023)Distributing Co-safe LTL Specifications to Mobile Robots., , и . ICSTCC, стр. 306-311. IEEE, (2022)Probabilistic Multi-Robot Path Planning with High-Level Specifications using Petri Net Models., и . CASE, стр. 2188-2193. IEEE, (2021)Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets., , , и . ECC, стр. 1-8. IEEE, (2023)Collision avoidance of mobile robots by using initial time delays., , , и . CDC, стр. 324-329. IEEE, (2015)Path-planning in Discretized Environments with Optimized Waypoints Computation., , и . ETFA, стр. 729-735. IEEE, (2018)A probabilistic abstraction approach for planning and controlling mobile robots., , и . ETFA, стр. 1-8. IEEE, (2011)