Journal
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications
Learning An Explainable Trajectory Generator Using The Automaton Generative Network (AGN)
Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features
Specifying User Preferences using Weighted Signal Temporal Logic
Reactive Sampling-Based Path Planning with Temporal Logic Specifications
Learning and Planning with Logical Automata
Control in Belief Space with Temporal Logic Specifications using Vision-based Localization
Kevin Leahy, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, and Calin Belta. Control in Belief Space with Temporal Logic Specifications using Vision-based Localization. International Journal of Robotics Research. 38(6):702-722. doi:10.1177/0278364919846340.
Identifying cancer type specific oncogenes and tumor suppressors using limited size data
Ana Brândusa Pavel, and Cristian Ioan Vasile. Identifying cancer type specific oncogenes and tumor suppressors using limited size data. Journal of Bioinformatics and Computational Biology, 14(6):1–16, December 2016. doi:10.1142/S0219720016500311.
Pages
