白露
SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！
Safety-Critical Learning of Robot Control with Temporal Logic Specifications
计算机科学
机器人
时态逻辑
控制（管理）
控制工程
机器人控制
人工智能
工程类
移动机器人
程序设计语言
作者
Mingyu Cai,
Cristian-Ioan Vasile
出处
期刊：
IEEE Transactions on Automatic Control
[Institute of Electrical and Electronics Engineers]
日期：2025-03-12
卷期号：70 (8): 5553-5560
被引量：1
链接
arxiv.org
arxiv.org
doi.org
标识
DOI：10.1109/tac.2025.3550850
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新！
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
Oo3
发布了新的
文献求助
10
刚刚
顺利秋灵
完成签到，获得积分
10
刚刚
time
关闭了
time
的
文献求助
1秒前
Akim
的
应助
被
阿斯披粼
采纳，获得
10
7秒前
nicholasgxz
完成签到
，获得积分
10
8秒前
王ww
完成签到
，获得积分
10
9秒前
JamesPei
上传了
应助文件
11秒前
科目三
上传了
应助文件
11秒前
hh
发布了新的
文献求助
10
17秒前
ma
发布了新的
文献求助
10
17秒前
完美世界
上传了
应助文件
21秒前
molihuakai
上传了
应助文件
25秒前
Akim
上传了
应助文件
25秒前
hh
完成签到，获得积分
10
25秒前
大个
上传了
应助文件
26秒前
阿龙
发布了新的
文献求助
10
27秒前
舒适的严青
完成签到，获得积分
10
29秒前
拯救小ji
完成签到
，获得积分
10
29秒前
阿斯披粼
发布了新的
文献求助
10
31秒前
My_magnum_opus
发布了新的
文献求助
10
31秒前
Kao
上传了
应助文件
33秒前
好好
的
应助
被
My_magnum_opus
采纳，获得
50
40秒前
Y888888
的
应助
被
My_magnum_opus
采纳，获得
10
40秒前
沉静连虎
完成签到，获得积分
10
44秒前
joeqin
完成签到，获得积分
0
44秒前
向日葵
完成签到
，获得积分
10
48秒前
盼盼小面包
完成签到
，获得积分
10
52秒前
匆匆
完成签到，获得积分
10
53秒前
李爱国
上传了
应助文件
1分钟前
迷人悒
完成签到，获得积分
10
1分钟前
科研通AI6.4
的
应助
被
科研通管家
采纳，获得
10
1分钟前
深情安青
的
应助
被
科研通管家
采纳，获得
10
1分钟前
咕嘟
发布了新的
文献求助
10
1分钟前
科研通AI6.2
上传了
应助文件
1分钟前
华仔
的
应助
被
time
采纳，获得
10
1分钟前
思源
上传了
应助文件
1分钟前
星愿
完成签到，获得积分
20
1分钟前
留胡子的不惜
发布了新的
文献求助
10
1分钟前
伶俐的万言
完成签到，获得积分
10
1分钟前
聪明蘑菇
完成签到
，获得积分
10
1分钟前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
内視鏡的に摘除しえた十二指腸乳頭部腫瘍の2例
660
Cognitive Psychology in a Changing World
600
On nonlinear stability of contact discontinuities. In: Hyperbolic problems: theory, numerics, applications (Stony Brook, NY, 1994)
510
Management and the Arts
510
Matrix Methods in Data Mining and Pattern Recognition Second Edition
510
微电子器件实验教程
400
热门求助领域
（近24小时）
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
内科学
物理
复合材料
催化作用
细胞生物学
无机化学
光电子学
物理化学
电极
基因
热门帖子
关注
科研通微信公众号，转发送积分
7681264
求助须知：如何正确求助？哪些是违规求助？
9245502
关于积分的说明
19934978
捐赠科研通
7251785
什么是DOI，文献DOI怎么找？
3287810
关于科研通互助平台的介绍
2445522
邀请新用户注册赠送积分活动
2291393
今日热心研友
XX
66
240
GingerF
9
450
6666
380
Nole
35
20
囧囧
320
谪仙
21
100
OK
2
280
mmyhn
16
50
xuz
21
cdercder
180
好好
8
100
Kao
16
10
无极微光
3
120
睡个好觉
13
20
猪十六
3
110
渡人舟
130
Criminology34
120
放过我吧
6
60
heekkll
11
打瞌睡的白水
100
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
XX
GingerF
6666
Nole
囧囧
谪仙
OK
mmyhn
xuz
cdercder
好好
Kao
无极微光
睡个好觉
猪十六
渡人舟
Criminology34
放过我吧
heekkll
打瞌睡的白水
皖公网安备34019202002308
