• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 53 matches

• 2024
• 
  Victoria Magdalena Dax, Jiachen Li, Kevin Leahy, Mykel J. Kochenderfer:
  Graph Q-Learning for Combinatorial Optimization. CoRR abs/2401.05610 (2024)
• 
  Kevin Leahy, Ho Chit Siu:
  Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots. CoRR abs/2403.14344 (2024)
• 2023
• 
  Bo Chen, Kevin Leahy, Austin Jones, Matthew T. Hale:
  Differential privacy for symbolic systems with application to Markov Chains. Autom. 152: 110908 (2023)
• 
  Kasra Yazdani, Austin Jones, Kevin Leahy, Matthew T. Hale:
  Differentially Private LQ Control. IEEE Trans. Autom. Control. 68(2): 1061-1068 (2023)
• 
  Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile:
  Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. ACC 2023: 1446-1452
• 
  Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta:
  Robust Multi-Agent Coordination from CaTL+ Specifications. ACC 2023: 3529-3534
• 
  Gustavo A. Cardona, Kevin Leahy, Cristian-Ioan Vasile:
  Temporal Logic Swarm Control with Splitting and Merging. ICRA 2023: 12423-12429
• 
  Ho Chit Siu, Kevin Leahy, Makai Mann:
  STL: Surprisingly Tricky Logic (for System Validation). IROS 2023: 8613-8620
• 
  Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta:
  CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. L4DC 2023: 705-717
• 
  Kevin Leahy, Makai Mann, Cristian-Ioan Vasile:
  Rewrite-Based Decomposition of Signal Temporal Logic Specifications. NFM 2023: 224-240
• 
  Alexandra Forsey-Smerek, Ho Chit Siu, Kevin Leahy:
  Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming. NFM 2023: 191-206
• 
  Max H. Cohen, Makai Mann, Kevin Leahy, Calin Belta:
  Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. CoRR abs/2304.01901 (2023)
• 
  Ho Chit Siu, Kevin Leahy, Makai Mann:
  STL: Surprisingly Tricky Logic (for System Validation). CoRR abs/2305.17258 (2023)
• 
  Kevin Leahy, Makai Mann, Zachary Serlin:
  Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning. CoRR abs/2306.17033 (2023)
• 
  Gustavo A. Cardona, Kevin Leahy, Makai Mann, Cristian-Ioan Vasile:
  A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo. CoRR abs/2310.08714 (2023)
• 2022
• 
  Mingyu Cai, Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile:
  Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications. IEEE Robotics Autom. Lett. 7(2): 1190-1197 (2022)
• 
  Kevin Leahy, Austin Jones, Cristian-Ioan Vasile:
  Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. IEEE Robotics Autom. Lett. 7(2): 2297-2304 (2022)
• 
  Dejanira Araiza-Illan, Michael Fisher, Kevin Leahy, Joanna Isabelle Olszewska, Signe A. Redfield:
  Verification of Autonomous Systems [TC Spotlight]. IEEE Robotics Autom. Mag. 29(1): 99-101 (2022)
• 
  Kevin Leahy, 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). IEEE Trans. Robotics 38(4): 2516-2535 (2022)
• 
  Nathan Vaska, Kevin Leahy, Victoria Helus:
  Context-Dependent Anomaly Detection with Knowledge Graph Embedding Models. CASE 2022: 2020-2027
• 
  Anu K. Myne, Kevin J. Leahy, Ryan J. Soklaski:
  Knowledge-Integrated Informed AI for National Security. CoRR abs/2202.03188 (2022)
• 
  Bo Chen, Kevin Leahy, Austin Jones, Matthew T. Hale:
  Differential Privacy for Symbolic Systems with Application to Markov Chains. CoRR abs/2202.03325 (2022)
• 
  Nathan Vaska, Kevin Leahy, Victoria Helus:
  Context-Dependent Anomaly Detection with Knowledge Graph Embedding Models. CoRR abs/2203.09354 (2022)
• 
  Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile:
  Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. CoRR abs/2210.01162 (2022)
• 
  Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta:
  Robust Multi-Agent Coordination from CaTL+ Specifications. CoRR abs/2210.01732 (2022)
• 
  Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta:
  CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. CoRR abs/2212.11792 (2022)
• 2020
• 
  Kevin Leahy, Austin Jones, Cristian Ioan Vasile:
  Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. CoRR abs/2010.00030 (2020)
• 2019
• 
  Peter O'Donovan, Colm V. Gallagher, Kevin Leahy, Dominic T. J. O'Sullivan:
  A comparison of fog and cloud computing cyber-physical interfaces for Industry 4.0 real-time embedded machine learning engineering applications. Comput. Ind. 110: 12-35 (2019)
• 
  Kevin Leahy, 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. Int. J. Robotics Res. 38(6) (2019)
• 
  Kevin Leahy, Mac Schwager:
  Tracking a Markov Target in a Discrete Environment With Multiple Sensors. IEEE Trans. Autom. Control. 64(6): 2396-2411 (2019)

skipping 23 more matches