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

Sylvie Putot

Ecole Polytechnique

22H指数
82论文数
1.4K被引数
收录论文 5
发表时间
logo
Probabilistic Verification of Neural Networks with Sampling-Based Probability Box Propagation基于采样概率盒传播的神经网络概率验证
errAI VERIFICATION, SAIV 2025
IF0
err2026-01-01
err0
PREAI
errChwialkowski, Marcel; Goubault, Eric; Putot, Sylvie
err分享
err收藏
Inner and outer approximations of arbitrarily quantified reachability problems任意量化可达性问题的内近似和外近似
errNonlinear Analysis: Hybrid Systems
IF0
err2025-10-07
err0
errOAAI
errEric Goubault; Sylvie Putot
err分享
err收藏
Estimating the coverage measure and the area explored by a line-sweep sensor on the plane
errINTERNATIONAL JOURNAL OF APPROXIMATE REASONING
IF3
err2024-06-01
err0
PREAI
errVianna, Maria Costa; Goubault, Eric; Jaulin, Luc; Putot, Sylvie
err分享
err收藏
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability未知系统的动态控制: 从边信息到可达性的性能保证
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-08-01
err2
errOAAI
errDjeumou, Franck; Vinod, Abraham P.; Goubault, Eric; Putot, Sylvie; Topcu, Ufuk
err分享
err收藏
A generalization of p-boxes to affine arithmetic
errCOMPUTING
IF2.8
err2012-01-04
err30
PREAI
errBouissou, Olivier; Goubault, Eric; Goubault-Larrecq, Jean; Putot, Sylvie
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
U
Ufuk Topcu
H 指数: 46 · 论文数: 663
É
Éric Goubault
H 指数: 30 · 论文数: 194
L
Luc Jaulin
H 指数: 30 · 论文数: 419
J
Jean Goubault-Larrecq
H 指数: 25 · 论文数: 168
A
Abraham P. Vinod
H 指数: 13 · 论文数: 98
查看更多