PyElph - a software tool for gel images analysis and phylogenetics by Pavel Ana Brânduşa, Vasile Cristian Ioan

Get full text

Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications by Vasile, Cristian-Ioan, Raman, Vasumathi, Karaman, Sertac

Get full text
Get full text
Get full text

Multi-robot Routing and Scheduling with Temporal Logic and Synchronization Constraints by Mosca, Alessio, Vasile, Cristian-Ioan, Belta, Calin, Martino, Davide

Get full text

Minimum-violation scLTL motion planning for mobility-on-demand by Tumova, Jana, Belta, Calin, Vasile, Cristian-Ioan, Karaman, Sertac, Rus, Daniela L

Get full text
Get full text
Get full text
Get full text

Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand by Karlsson, Jesper, Tumova, Jana, Vasile, Cristian-Ioan, Karaman, Sertac, Rus, Daniela L

Get full text
Get full text
Get full text
Get full text

Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior by Araki, Brandon, Vodrahalli, Kiran, Leech, Thomas, Vasile, Cristian-Ioan, Donahue, Mark, Rus, Daniela

Get full text

Learning and planning with logical automata by Araki, Brandon, Vodrahalli, Kiran, Leech, Thomas, Vasile, Cristian-Ioan, Donahue, Mark, Rus, Daniela

Get full text

Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection by Pierson, Alyssa, Vasile, Cristian-Ioan, Gandhi, Anshula, Schwarting, Wilko, Karaman, Sertac, Rus, Daniela L.

Get full text

Learning to Plan with Logical Automata by Araki, Brandon, Vodrahalli, Kiran, Leech, Thomas, Vasile, Cristian-Ioan, Donahue, Mark D., Rus, Daniela L

Get full text

Learning an Explainable Trajectory Generator Using the Automaton Generative Network (AGN) by Li, Xiao, Rosman, Guy, Gilitschenski, Igor, Araki, Brandon, Vasile, Cristian-Ioan, Karaman, Sertac, Rus, Daniela

Get full text

Counterexample-Guided Safety Contracts for Autonomous Driving by DeCastro, Jonathan, Liebenwein, Lucas, Vasile, Cristian-Ioan, Tedrake, Russell L, Karaman, Sertac, Rus, Daniela L

Get full text

Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features by Li, Xiao, Rosman, Guy, Gilitschenski, Igor, Vasile, Cristian-Ioan, DeCastro, Jonathan A, Karaman, Sertac, Rus, Daniela

Get full text

Compositional and Contract-based Verification for Autonomous Driving on Road Networks by DeCastro, Jonathan, Alonso-Mora, Javier, Liebenwein, Lucas, Schwarting, Wilko, Vasile, Cristian-Ioan, Karaman, Sertac, Rus, Daniela L

Get full text
Get full text
Get full text
Get full text