Interval Signal Temporal Logic From Natural Inclusion Functions
Interval Signal Temporal Logic From Natural Inclusion Functions
复制标题
自然包含函数的区间信号时态逻辑
DOI：
10.1109/lcsys.2023.3337744
复制
发表时间：
2023
影响因子：
3
通讯作者：
Coogan, Samuel
中科院分区：
文献类型：
--
作者：
Baird, Luke;Harapanahalli, Akash;Coogan, Samuel
登录
查看更多内容
DOI：
10.48550/arxiv.2306.15340
发表时间：
2023-06
期刊：
ArXiv
影响因子：
--
作者：
Akash Harapanahalli;Saber Jafarpour;S. Coogan
通讯作者：
Akash Harapanahalli;Saber Jafarpour;S. Coogan
DOI：
--
发表时间：
2022
期刊：
IEEE International Conference on Robotics and Automation
影响因子：
--
作者：
Roland Ilyes;Qi Heng Ho;Morteza Lahijanian
通讯作者：
Morteza Lahijanian
影响因子：
2
作者：
Lars Lindemann;Lejun Jiang;N. Matni;George Pappas
通讯作者：
Lars Lindemann;Lejun Jiang;N. Matni;George Pappas
具有较少二进制变量的信号时态逻辑的混合整数规划
影响因子：
3
作者：
Vince Kurtz;Hai Lin
通讯作者：
Hai Lin
DOI：
--
发表时间：
2019
期刊：
Annu. Rev. Control. Robotics Auton. Syst.
影响因子：
--
作者：
C. Belta;Sadra Sadraddini
通讯作者：
Sadra Sadraddini