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

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025

IF
论文数21
被引数
期刊论文 21
发表时间
delete
Energy Games with Weight Uncertainty带权重不确定性的能量博弈
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKupferman, Orna; Halevy, Naama Shamash
delete分享
delete收藏
Inductive Generalization in Reinforcement Learning from Specifications基于规范的强化学习中的归纳泛化
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSubramanian, Vignesh; Kushwah, Rohit; Roy, Subhajit; Bansall, Suguman
delete分享
delete收藏
Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-Like Certificates从可达集和李雅普诺夫类证明中推导混合系统的活性属性
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBattista, Ludovico; Tonetta, Stefano
delete分享
delete收藏
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy面向统一化的基于视觉的自主导航的概率验证与确认
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deletePeper, Jordan; Miao, Yan; Mitra, Sayan; Ruchkini, Ivan
delete分享
delete收藏
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains广义参数提升：参数化马尔可夫链的更精细抽象
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHeck, Linus; Quatmann, Tim; Spel, Jip; Katoen, Joost-Pieter; Junges, Sebastian
delete分享
delete收藏
Efficient Dynamic Shielding for Parametric Safety Specifications参数安全规范的动态高效屏蔽
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCorsi, Davide; Mallik, Kaushik; Rodriguez, Andoni; Sanchez, Cesar
delete分享
delete收藏
Antarbhukti: Verifying Correctness of PLC Software During System EvolutionAntarbhukti：在系统演化过程中验证PLC软件的正确性
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBandyopadhyayl, Soumyadip; Sarkar, Santonu
delete分享
delete收藏
Learning Verified Monitors for Hidden Markov Models学习验证的隐马尔可夫模型监控器
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deletevan der Maas, Luko; Junges, Sebastian
delete分享
delete收藏
Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification解法感知与全局ReLU选择：部分MILP为DNN验证回归
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLiao, Yuke; Genest, Blaise; Meel, Kuldeep; Aryaman, Shaan
delete分享
delete收藏
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games带界值迭代的随机博弈中最宽路径博弈与最大性继承
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deletePhalakarn, Kittiphon; Tsai, Yun Chen; Hasuo, Ichiro
delete分享
delete收藏
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri NetsTAPAAL超LTL：用于检查Petri网超属性的软件工具
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGonzalez, Bruno Maria Rene; Jensen, Peter Gjol; Schmid, Stefan; Srba, Jiff; Zimmermann, Martin
delete分享
delete收藏
Quantitative Strategy Templates定量策略模板
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAnand, Ashwani; Nayak, Satya Prakash; Raha, Ritam; Saglam, Irmak; Schmuck, Anne Kathrin
delete分享
delete收藏
Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE动态系统与网络的评估、降阶与逼近：基于ERODe方法
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCardelli, Luca; Squillace, Giuseppe; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
delete分享
delete收藏
Q-Sylvan: A Parallel Decision Diagram Package for Quantum ComputingQ- Sylvan：用于量子计算的并行决策图软件包
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBrand, Sebastiaan; Laarman, Alfons
delete分享
delete收藏
Componentwise Automata Learning for System Integration组件级自动机学习用于系统集成
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFujinami, Hiroya; Waga, Masaki; An, Jie; Suenaga, Kohei; Yanagisawa, Nayuta; Iseri, Hiroki; Hasuo, Ichiro
delete分享
delete收藏
Data Structures for Finite Downsets of Natural Vectors: Theory and Practice自然向量有限向下集的数据结构：理论与实践
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCadilhac, Michael; Flugel, Vanessa; Perez, Guillermo A.; Rao, Shrisha
delete分享
delete收藏
POLYQENT: A Polynomial Quantified Entailment SolverPOLYQENT：一种多项式量化蕴含求解器
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete1
PREAI
deleteChatterjee, Krishnendu; Goharshady, Amir Kafshdar; Goharshady, Ehsan Kafshdar; Karrabi, Mehrdad; Saadat, Milad; Seeliger, Maximilian; Zikelic, Dorde
delete分享
delete收藏
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models局部帕累托最优解释方法用于黑箱机器学习模型
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteJoshil, Aniruddha; Chakraborty, Supratik; Akshay, S.; Shah, Shetal; Torfah, Hazem; Seshial, Sanjit
delete分享
delete收藏
Control Closure Certificates控制闭合证书
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMurali, Vishnu; Oumer, Mohammed Adib; Zamani, Majid
delete分享
delete收藏
Prompt Runtime Enforcement提示运行时执行
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAnand, Ayush; Guizouarn, Loic Germerie; Jeron, Thierry; Mukherjee, Sayan; Pinisetty, Srinivas; Sankur, Ocan
delete分享
delete收藏