logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Alessandro Cimatti

Fondazione Bruno Kessler

55H指数
376论文数
1.6W被引数
收录论文 15
发表时间
logo
Formal Analysis of a Railway Signaling Block Designed in AIDAAIDA设计的铁路信号闭塞系统的形式化分析
errRELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF0
err2026-01-01
err0
PREAI
errCavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Lidstrom, Christian; Redondi, Gianluca; Tessi, Matteo; Trenti, Dylan
err分享
err收藏
Towards a Unifying View of Fault Propagation Analyses and Notations对故障传播分析与表示法的统一视图的研究
errMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
err2026-01-01
err0
PREAI
errBozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Haifani, Fajar
err分享
err收藏
Conditional diffusion to enhance performance of object detection in unbalanced data engineering drawings条件扩散以增强不平衡数据工程图纸中的目标检测性能
errneural computing applications
IF0
err2025-07-15
err0
PREAI
errStefano Frizzo Stefenon; Marco Cristoforetti; Alessandro Cimatti
err分享
err收藏
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection An Autonomous Underwater Architecture
errIEEE ROBOTICS & AUTOMATION MAGAZINE
IF7.1
err2024-03-01
err3
PREAI
errTosello, Elisa; Bonel, Paolo; Buranello, Alberto; Carraro, Marco; Cimatti, Alessandro; Granelli, Lorenzo; Panjkovic, Stefan; Micheli, Andrea
err分享
err收藏
Diagnosability of fair transition systems
errartificial intelligence review
IF4.6
err2022-08-01
err3
PREAI
errBittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano; Vozarova, Viktoria
err分享
err收藏
Semi-ProtoPNet Deep Neural Network for the Classification of Defective Power Grid Distribution Structures半ProtoPNet深度神经网络在电网配电结构缺陷分类中的应用
errSENSORS
IF3.5
err2022-06-27
err37
errOAAI
errStefenon, Stefano Frizzo; Singh, Gurmail; Yow, Kin-Choong; Cimatti, Alessandro
err分享
err收藏
A Comprehensive Approach to On-board Autonomy Verification and Validation
errACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY
IF6.6
err2021-08-20
err1
errOAAI
errBozzano, Marco; Cimatti, Alessandro; Roveri, Marco
err分享
err收藏
Strong temporal planning with uncontrollable durations
errartificial intelligence review
IF4.6
err2018-03-01
err13
errOAAI
errCimatti, Alessandro; Minh Do; Michell, Andrea; Roveri, Marco; Smith, David E.
err分享
err收藏
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
errartificial intelligence review
IF4.6
err2015-07-01
err8
PREAI
errCimatti, Alessandro; Michell, Andrea; Roveri, Marco
err分享
err收藏
Spacecraft early design validation using formal methods
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2014-12-01
err52
errOAAI
errBozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Katsaros, Panagiotis; Mokos, Konstantinos; Viet Yen Nguyen; Noll, Thomas; Postma, Bart; Roveri, Marco
err分享
err收藏
Validation of Requirements for Hybrid Systems: a Formal Approach混合系统需求验证: 一种形式化方法
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2013-02-07
err33
PREAI
errCimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
err分享
err收藏
Strong planning under partial observability
errartificial intelligence review
IF4.6
err2006-04-01
err71
PREAI
errBertoli, P; Cimatti, A; Roveri, M; Traverso, P
err分享
err收藏
Conformant planning via symbolic model checking and heuristic search
errartificial intelligence review
IF4.6
err2004-11-01
err64
errOAAI
errCimatti, A; Roveri, M; Bertoli, P
err分享
err收藏
Weak, strong, and strong cyclic planning via symbolic model checking
errartificial intelligence review
IF4.6
err2003-07-01
err225
errOAAI
errCimatti, A; Pistore, M; Roveri, M; Traverso, P
err分享
err收藏
Computational reflection via mechanized logical deduction
errINTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
IF3.7
err1998-12-07
err0
errOAAI
errCimatti, A; Traverso, P
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
J
Joost-Pieter Katoen
H 指数: 58 · 论文数: 636
P
Paolo Traverso
H 指数: 44 · 论文数: 282
D
David E. Smith
H 指数: 42 · 论文数: 307
M
Marco Pistore
H 指数: 42 · 论文数: 196
S
Stéfano Frizzo Stefenon
H 指数: 41 · 论文数: 125
查看更多