Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
Interpretable machine learning models: a physics-based view

Mar 22, 2020
Ion Matei, Johan de Kleer, Christoforos Somarakis, Rahul Rai, John S. Baras


  Access Paper or Ask Questions

Fast, Composable Rescue Mission Planning for UAVs using Metric Temporal Logic

Dec 17, 2019
Usman A. Fiaz, John S. Baras

* Under review; Submitted to IFAC World Congress 2020. arXiv admin note: substantial text overlap with arXiv:1904.03830 

  Access Paper or Ask Questions

Drone-Assisted Communications for Remote Areas and Disaster Relief

Sep 04, 2019
Anousheh Gholami, Usman A. Fiaz, John S. Baras

* Accepted at DGRS 2019 

  Access Paper or Ask Questions

A Hybrid Compositional Approach to Optimal Mission Planning for Multi-rotor UAVs using Metric Temporal Logic

Apr 08, 2019
Usman A. Fiaz, John S. Baras

* 8 pages, 5 figures, 1 table 

  Access Paper or Ask Questions

Event-Triggered Controller Synthesis for Dynamical Systems with Temporal Logic Constraints

Feb 27, 2018
Dipankar Maity, John S. Baras


  Access Paper or Ask Questions

Fast Task-Specific Target Detection via Graph Based Constraints Representation and Checking

Nov 23, 2016
Went Luan, Yezhou Yang, Cornelia Fermuller, John S. Baras

* The paper is withdrawn for another work's convenience. We will upload it later 

  Access Paper or Ask Questions

Reachable Set Approach to Collision Avoidance for UAVs

Sep 26, 2016
Yuchen Zhou, John S. Baras

* CDC 2015 fixed-wing nonlinear dynamics extension. CDC 2015 DOI: 10.1109/CDC.2015.7403154 

  Access Paper or Ask Questions

Co-active Learning to Adapt Humanoid Movement for Manipulation

Sep 12, 2016
Ren Mao, John S. Baras, Yezhou Yang, Cornelia Fermuller


  Access Paper or Ask Questions

Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic

Mar 29, 2016
Yuchen Zhou, Dipankar Maity, John S. Baras

* Full Version for ECC 2016 

  Access Paper or Ask Questions

Optimal Mission Planner with Timed Temporal Logic Constraints

Oct 05, 2015
Yuchen Zhou, Dipankar Maity, John S. Baras

* European Control Conference 2015 

  Access Paper or Ask Questions