Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1603.02650
Cited By
An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications
8 March 2016
Sayan Saha
A. Julius
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications"
11 / 11 papers shown
Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
SAE technical paper series (SAE), 2023
Aditya Parameshwaran
Yue Wang
81
5
0
16 Sep 2024
Temporal Logic Guided Motion Primitives for Complex Manipulation Tasks with User Preferences
IEEE International Conference on Robotics and Automation (ICRA), 2022
Hao Wang
Haoyuan He
Weiwei Shang
Z. Kan
297
6
0
09 Feb 2022
Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
IEEE Conference on Decision and Control (CDC), 2021
Zhe Xu
Yichen Zhang
150
2
0
26 Mar 2021
Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
IEEE Conference on Decision and Control (CDC), 2021
Zhe Xu
Xiaoming Duan
175
3
0
26 Mar 2021
Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications
IEEE Access (IEEE Access), 2021
Zhe Xu
Federico M. Zegers
Bo Wu
Alexander J. Phillips
W. Dixon
Ufuk Topcu
146
6
0
06 Feb 2021
Learning-Ñ-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme
Alena Rodionova
Yash Vardhan Pant
Connor Kurtz
Kuk Jin Jang
Houssam Abbas
Rahul Mangharam
128
4
0
25 Jan 2021
Automatic Trajectory Synthesis for Real-Time Temporal Logic
IEEE Transactions on Automatic Control (TAC), 2020
Rafael Rodrigues da Silva
Vince Kurtz
Hai Lin
97
12
0
14 Sep 2020
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility
Alena Rodionova
Yash Vardhan Pant
Kuk Jin Jang
Houssam Abbas
Rahul Mangharam
116
16
0
23 Jun 2020
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach
Allerton Conference on Communication, Control, and Computing (Allerton), 2019
Zhe Xu
Federico M. Zegers
Bo Wu
W. Dixon
Ufuk Topcu
171
26
0
22 Sep 2019
Average-based Robustness for Continuous-Time Signal Temporal Logic
IEEE Conference on Decision and Control (CDC), 2019
N. Mehdipour
C. Vasile
C. Belta
251
25
0
03 Sep 2019
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
N. Mehdipour
C. Vasile
C. Belta
144
109
0
12 Mar 2019
1
Page 1 of 1
