Autor der Publikation

Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees.

, , , und . L4DC, Volume 211 von Proceedings of Machine Learning Research, Seite 547-559. PMLR, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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