The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Cristian Ioan Vasile Cristian-Ioan Vasile ( http://dblp.L3S.de/Authors/Cristian_Ioan_Vasile )

URL (Homepage):  https://orcid.org/0000-0002-1132-1462  Author page on DBLP  Author page in RDF  Community of Cristian Ioan Vasile in ASPL-2

Publication years (Num. hits)
2011-2016 (22) 2017-2019 (21) 2020-2021 (21) 2022 (9)
Publication types (Num. hits)
article(38) inproceedings(35)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 74 publication records. Showing 73 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xiao Li 0025, Guy Rosman, Igor Gilitschenski, Brandon Araki, Cristian-Ioan Vasile, Sertac Karaman, Daniela Rus Learning an Explainable Trajectory Generator Using the Automaton Generative Network (AGN). Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Kevin Leahy 0001, Austin Jones, Cristian-Ioan Vasile Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Mingyu Cai, Kevin Leahy 0001, Zachary Serlin, Cristian-Ioan Vasile Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Kevin Leahy 0001, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). Search on Bibsonomy IEEE Trans. Robotics The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Kaier Liang, Cristian-Ioan Vasile Fair Planning for Mobility-on-Demand with Temporal Logic Requests. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron Learning Signal Temporal Logic through Neural Network for Interpretable Classification. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
1Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy 0001, Cristian-Ioan Vasile Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta Specifying User Preferences Using Weighted Signal Temporal Logic. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Xiao Li 0025, Guy Rosman, Igor Gilitschenski, Cristian Ioan Vasile, Jonathan A. DeCastro, Sertac Karaman, Daniela Rus Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Erfan Aasi, Cristian Ioan Vasile, Calin Belta A Control Architecture for Provably-Correct Autonomous Driving. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta Inferring Temporal Logic Properties from Data using Boosted Decision Trees. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta Time-Incremental Learning from Data Using Temporal Logics. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta Classification of Time-Series Data Using Boosted Decision Trees. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Erfan Aasi, Cristian Ioan Vasile, Calin Belta A Control Architecture for Provably-Correct Autonomous Driving. Search on Bibsonomy ACC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta Specifying User Preferences using Weighted Signal Temporal Logic. Search on Bibsonomy ACC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Xiao Li 0025, Jonathan A. DeCastro, Cristian Ioan Vasile, Sertac Karaman, Daniela Rus Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor. Search on Bibsonomy CoRL The full citation details ... 2021 DBLP  BibTeX  RDF
1Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian-Ioan Vasile, Mark Donahue, Daniela Rus Learning and planning with logical automata. Search on Bibsonomy Auton. Robots The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Disha Kamale, Eleni Karyofylli, Cristian-Ioan Vasile Automata-based Optimal Planning with Relaxed Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Gustavo A. Cardona, Diego S. D'Antonio, Cristian-Ioan Vasile, David Saldaña Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Mingyu Cai, Cristian-Ioan Vasile Safe-Critical Modular Deep Reinforcement Learning with Temporal Logic through Gaussian Processes and Control Barrier Functions. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Jesper Karlsson, Anastasiia Varava, Cristian-Ioan Vasile, Sertac Karaman, Danica Kragic, Daniela Rus, Jana Tumova When to Terminate: Path Non-existence Verification Improves Sampling-based Motion Planning. Search on Bibsonomy ICAR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Disha Kamale, Eleni Karyofylli, Cristian-Ioan Vasile Automata-based Optimal Planning with Relaxed Specifications. Search on Bibsonomy IROS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Gustavo A. Cardona, Diego S. D'Antonio, Cristian-Ioan Vasile, David Saldaña Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot. Search on Bibsonomy IROS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Kevin Leahy 0001, Austin Jones, Cristian Ioan Vasile Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta Specifying User Preferences using Weighted Signal Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Cristian Ioan Vasile, Xiao Li 0013, Calin Belta Reactive sampling-based path planning with temporal logic specifications. Search on Bibsonomy Int. J. Robotics Res. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Xiao Li 0025, Guy Rosman, Igor Gilitschenski, Jonathan A. DeCastro, Cristian Ioan Vasile, Sertac Karaman, Daniela Rus Differentiable Logic Layer for Rule Guided Trajectory Prediction. Search on Bibsonomy CoRL The full citation details ... 2020 DBLP  BibTeX  RDF
1Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian Ioan Vasile, Mark Donahue, Daniela Rus Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior. Search on Bibsonomy AAAI The full citation details ... 2020 DBLP  BibTeX  RDF
1Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta Average-based Robustness for Continuous-Time Signal Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Kevin Leahy 0001, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, Calin Belta Control in belief space with temporal logic specifications using vision-based localization. Search on Bibsonomy Int. J. Robotics Res. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alyssa Pierson, Cristian Ioan Vasile, Anshula Gandhi, Wilko Schwarting, Sertac Karaman, Daniela Rus Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection. Search on Bibsonomy ICRA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Austin M. Jones, Kevin Leahy 0001, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. Search on Bibsonomy ISRR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. Search on Bibsonomy ACC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta Average-based Robustness for Continuous-Time Signal Temporal Logic. Search on Bibsonomy CDC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian Ioan Vasile, Mark Donahue, Daniela Rus Learning to Plan with Logical Automata. Search on Bibsonomy Robotics: Science and Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta Metrics for Signal Temporal Logic Formulae. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cristian Ioan Vasile, Mac Schwager, Calin Belta Translational and Rotational Invariance in Networked Dynamical Systems. Search on Bibsonomy IEEE Trans. Control. Netw. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jesper Karlsson, Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Daniela Rus Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand. Search on Bibsonomy ICRA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta Metrics for Signal Temporal Logic Formulae. Search on Bibsonomy CDC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Petter Nilsson, Sofie Haesaert, Rohan Thakker, Kyohei Otsu, Cristian Ioan Vasile, Ali-Akbar Agha-Mohammadi, Richard M. Murray, Aaron D. Ames Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. Search on Bibsonomy Robotics: Science and Systems The full citation details ... 2018 DBLP  BibTeX  RDF
1Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. Search on Bibsonomy ADHS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod ARCH-COMP18 Category Report: Stochastic Modelling. Search on Bibsonomy ARCH@ADHS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonathan A. DeCastro, Lucas Liebenwein, Cristian Ioan Vasile, Russ Tedrake, Sertac Karaman, Daniela Rus Counterexample-Guided Safety Contracts for Autonomous Driving. Search on Bibsonomy WAFR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cristian Ioan Vasile, Derya Aksaray, Calin Belta Time window temporal logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus Minimum-violation scLTL motion planning for mobility-on-demand. Search on Bibsonomy ICRA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lucas Liebenwein, Wilko Schwarting, Cristian Ioan Vasile, Jonathan A. DeCastro, Javier Alonso-Mora, Sertac Karaman, Daniela Rus Compositional and Contract-Based Verification for Autonomous Driving on Road Networks. Search on Bibsonomy ISRR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cristian Ioan Vasile, Vasumathi Raman, Sertac Karaman Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. Search on Bibsonomy IROS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xiao Li 0013, Cristian Ioan Vasile, Calin Belta Reinforcement learning with temporal logic rewards. Search on Bibsonomy IROS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kevin Leahy 0001, Dingjiang Zhou, Cristian Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, Calin Belta Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints. Search on Bibsonomy Auton. Robots The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cristian Ioan Vasile, Derya Aksaray, Calin Belta Time Window Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Xiao Li 0013, Cristian Ioan Vasile, Calin Belta Reinforcement Learning With Temporal Logic Rewards. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ana Brândusa Pavel, Cristian Ioan Vasile Identifying cancer type specific oncogenes and tumor suppressors using limited size data. Search on Bibsonomy J. Bioinform. Comput. Biol. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Derya Aksaray, Cristian Ioan Vasile, Calin Belta Dynamic routing of energy-aware vehicles with Temporal Logic Constraints. Search on Bibsonomy ICRA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giuseppe Bombara, Cristian Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta A Decision Tree Approach to Data Classification using Signal Temporal Logic. Search on Bibsonomy HSCC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cristian Ioan Vasile, Kevin Leahy 0001, Eric Cristofalo, Austin Jones, Mac Schwager, Calin Belta Control in belief space with Temporal Logic specifications. Search on Bibsonomy CDC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eric Cristofalo, Kevin Leahy 0001, Cristian Ioan Vasile, Eduardo Montijano, Mac Schwager, Calin Belta Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints. Search on Bibsonomy ISER The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francisco Penedo, Cristian Ioan Vasile, Calin Belta Language-Guided Sampling-based Planning using Temporal Relaxation. Search on Bibsonomy WAFR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cristian Ioan Vasile, Mac Schwager, Calin Belta SE(N) invariance in networked systems. Search on Bibsonomy ECC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cristian Ioan Vasile, Calin Belta Reactive sampling-based temporal logic path planning. Search on Bibsonomy ICRA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cristian Ioan Vasile, Calin Belta An Automata-Theoretic Approach to the Vehicle Routing Problem. Search on Bibsonomy Robotics: Science and Systems The full citation details ... 2014 DBLP  BibTeX  RDF
1Kevin Leahy 0001, Dingjiang Zhou, Cristian Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, Calin Belta Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints. Search on Bibsonomy ISER The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cristian Ioan Vasile, Ana Brândusa Pavel, Ioan Dumitrache Universality of Enzymatic Numerical P systems. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cristian Ioan Vasile, Calin Belta Sampling-Based Temporal Logic Path Planning. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Cristian Ioan Vasile, Calin Belta Sampling-based temporal logic path planning. Search on Bibsonomy IROS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Catalin Buiu, Cristian Ioan Vasile, Octavian Arsene Development of membrane controllers for mobile robots. Search on Bibsonomy Inf. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ana Brândusa Pavel, Cristian Ioan Vasile PyElph - a software tool for gel images analysis and phylogenetics. Search on Bibsonomy BMC Bioinform. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cristian Ioan Vasile, Ana Brândusa Pavel, Ioan Dumitrache, Gheorghe Paun On the power of enzymatic numerical P systems. Search on Bibsonomy Acta Informatica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ana Brândusa Pavel, Cristian Ioan Vasile, Ioan Dumitrache Robot Localization Implemented with Enzymatic Numerical P Systems. Search on Bibsonomy Living Machines The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cristian Ioan Vasile, Catalin Buiu A software system for collaborative robotics applications and its application in particle swarm optimization implementations. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cristian Ioan Vasile, Ana Pavel, Catalin Buiu Integrating human swarm interaction in a distributed robotic control system. Search on Bibsonomy CASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #73 of 73 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license