科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
M
Morteza Lahijanian
university of colorado boulder
22
H指数
152
论文数
1.7K
被引数
0
相关解读
订阅
收录论文
9
发表时间
发表时间
IF
被引数
Efficient strategy synthesis for switched stochastic systems with distributional uncertainty
NONLINEAR ANALYSIS-HYBRID SYSTEMS
IF
4.1
2025-02-01
0
OA
AI
Gracia, Ibon; Boskos, Dimitris; Lahijanian, Morteza; Laurenti, Luca; Mazo Jr, Manuel
分享
收藏
Online Pareto-Optimal Decision-Making for Complex Tasks Using Active Inference
在线主动推理复杂任务下的帕累托最优决策制定
IEEE Transactions on Robotics
IF
10.5
2025-01-01
0
PRE
AI
Peter Amorese; Shohei Wakayama; Nisar Ahmed; Morteza Lahijanian
分享
收藏
Temporal segmentation in multi agent path finding with applications to explainability
多智能体路径查找中的时间分割及其可解释性应用
artificial intelligence review
IF
4.6
2024-05-01
0
PRE
AI
Almagor, Shaull; Kottinger, Justin; Lahijanian, Morteza
分享
收藏
Online Mapping and Motion Planning Under Uncertainty for Safe Navigation in Unknown Environments
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF
6.4
2022-10-01
24
OA
AI
Pairet, Eric; Hernandez, Juan David; Carreras, Marc; Petillot, Yvan; Lahijanian, Morteza
分享
收藏
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF
7
2021-01-01
14
OA
AI
Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta
分享
收藏
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees
IEEE TRANSACTIONS ON ROBOTICS
IF
10.5
2016-06-01
65
OA
AI
Lahijanian, Morteza; Maly, Matthew R.; Fried, Dror; Kavraki, Lydia E.; Kress-Gazit, Hadas; Vardi, Moshe Y.
分享
收藏
Formal Verification and Synthesis for Discrete-Time Stochastic Systems
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF
7
2015-08-01
97
PRE
AI
Lahijanian, Morteza; Andersson, Sean B.; Belta, Calin
分享
收藏
Temporal logic motion control using actor-critic methods
INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
IF
5
2015-05-26
23
OA
AI
Wang, Jing; Ding, Xuchu; Lahijanian, Morteza; Paschalidis, Ioannis Ch.; Belta, Calin A.
分享
收藏
Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees
IEEE TRANSACTIONS ON ROBOTICS
IF
10.5
2012-04-01
110
PRE
AI
Lahijanian, Morteza; Andersson, Sean B.; Belta, Calin
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
M
Moshe Y. Vardi
H 指数: 90 · 论文数: 869
L
Lydia E. Kavraki
H 指数: 69 · 论文数: 441
L
Luca Cardelli
H 指数: 68 · 论文数: 326
M
Marta Kwiatkowska
H 指数: 67 · 论文数: 540
C
Călin Belta
H 指数: 56 · 论文数: 480
查看更多