( en | de | ru )

 

Disambiguation of "Vasile, Cristian Ioan"

Author of the publication

copydeleteadd this publication to your clipboard
Metrics for Signal Temporal Logic Formulae.

, , , , , , , and . CoRR, (2018)

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. You can also use the button next to the name to display some publications already assigned to the person.

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

 

Other publications of authors with the same name

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