( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Rewrite-Based Decomposition of Signal Temporal Logic Specifications.

, , и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 224-240. Springer, (2023)

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.

Ioan-Vasile Leb

Ioan Cristian Morari

Vasile Rednic

Investigation of electronic and magnetic structure of advanced magnetic materials. Uni Osnabrück, (2010)

Vasile Branisteanu

Gabriel Vasile

 

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

A software system for collaborative robotics applications and its application in particle swarm optimization implementations., и . Appl. Soft Comput., 11 (8): 5498-5507 (2011)Specifying User Preferences using Weighted Signal Temporal Logic., , и . ACC, стр. 4900-4905. IEEE, (2021)A Control Architecture for Provably-Correct Autonomous Driving., , и . ACC, стр. 2913-2918. IEEE, (2021)Sampling-based temporal logic path planning., и . IROS, стр. 4817-4822. IEEE, (2013)Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior., , , , , и . AAAI, стр. 10026-10034. AAAI Press, (2020)Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)., , , , , , и . IEEE Trans. Robotics, 38 (4): 2516-2535 (2022)Inferring Temporal Logic Properties from Data using Boosted Decision Trees., , , и . CoRR, (2021)When to Terminate: Path Non-existence Verification Improves Sampling-based Motion Planning., , , , , , и . ICAR, стр. 594-600. IEEE, (2021)Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints., , , , , и . ISER, том 1 из Springer Proceedings in Advanced Robotics, стр. 525-537. Springer, (2016)Robot Localization Implemented with Enzymatic Numerical P Systems., , и . Living Machines, том 7375 из Lecture Notes in Computer Science, стр. 204-215. Springer, (2012)