( en | de | ru )

 

Disambiguation of "Vasile, Cristian-Ioan"

Author of the publication

copydeleteadd this publication to your clipboard
Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints.

, , and . CDC, page 2878-2883. IEEE, (2022)

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

Rewrite-Based Decomposition of Signal Temporal Logic Specifications., , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 224-240. Springer, (2023)Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees., , , and . L4DC, volume 211 of Proceedings of Machine Learning Research, page 547-559. PMLR, (2023)Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method., and . MRS, page 128-134. IEEE, (2023)Reinforcement learning with temporal logic rewards., , and . IROS, page 3834-3839. IEEE, (2017)Robot Localization Implemented with Enzymatic Numerical P Systems., , and . Living Machines, volume 7375 of Lecture Notes in Computer Science, page 204-215. Springer, (2012)A Decision Tree Approach to Data Classification using Signal Temporal Logic., , , , and . HSCC, page 1-10. ACM, (2016)Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications., , , , and . ACC, page 1446-1452. IEEE, (2023)Learning to Plan with Logical Automata., , , , , and . Robotics: Science and Systems, (2019)Control in belief space with Temporal Logic specifications., , , , , and . CDC, page 7419-7424. IEEE, (2016)Temporal Logic Swarm Control with Splitting and Merging., , and . ICRA, page 12423-12429. IEEE, (2023)