logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
A

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025

IF
Papers21
Citations
Journal Papers 21
Publication Date
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
Antarbhukti: Verifying Correctness of PLC Software During System Evolution
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBandyopadhyayl, Soumyadip; Sarkar, Santonu
deleteShare
deleteSave
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
deleteShare
deleteSave
Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLiao, Yuke; Genest, Blaise; Meel, Kuldeep; Aryaman, Shaan
deleteShare
deleteSave
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
deleteShare
deleteSave
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
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
deleteShare
deleteSave
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
deleteShare
deleteSave
Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with 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
deleteShare
deleteSave
Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBrand, Sebastiaan; Laarman, Alfons
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
POLYQENT: A Polynomial Quantified Entailment Solver
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
deleteShare
deleteSave
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
deleteShare
deleteSave
Control Closure Certificates
deleteAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMurali, Vishnu; Oumer, Mohammed Adib; Zamani, Majid
deleteShare
deleteSave
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
deleteShare
deleteSave