Buch, Englisch, 424 Seiten, Format (B × H): 155 mm x 235 mm
24th International Symposium, ATVA 2026, Hong Kong, China, December 1–4, 2026, Proceedings
Buch, Englisch, 424 Seiten, Format (B × H): 155 mm x 235 mm
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-032-45596-3
Verlag: Springer
This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2026, held in Hong Kong, China, during December 1–4, 2026.
The 14 full papers, 4 tool papers and 1 invited paper were carefully reviewed and selected out of 56 submissions. The papers cover the following topical sections: Invited Paper; Explainability; Verifying ML Models; Software; Probabilistic Systems; Games and Synthesis; and Automata.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Technische Informatik
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
Weitere Infos & Material
.- Invited Paper.
.- Shielded Reinforcement Learning for Safe and Optimal Cyber-Physical Systems.
.- Explainability.
.- Sufficient Reasons and Explanations for Reactive Systems.
.- Neuron Activation-based Computation of Logical Explanations for Deep Neural Networks.
.- Verifying ML Models.
.- Verification of Dimension-Squeezed Neural Networks via Latent Quantization.
.- NNV3: Expanding Neural Network Verification to New Architectures and Domains.
.- Verifying Glitches in Decision Tree Ensembles.
.- Software.
.- Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees.
.- SyOpt: Constrained Genetic Algorithm for Near-Optimal Resilient Routing Synthesis.
.- HowOftenDoesYourProgramFail?.
.- Bit-Precise CHC Satisfiability Using Theory-Modular Reasoning.
.- Spectral-Translating Specifications for Deductive Verification into LLVM-IR.
.- Probabilistic Systems.
.- Supermartingale Certificates for Parametric MDPs.
.- Extending PRCTL with conditional expected reward operators.
.- Ragtimer1.0:RapidRare-Event Partial State Space Construction for Stochastic VAS.
.- Games and Synthesis.
.- Towards Actionable Strategy Certificates in Stochastic Parity Games.
.- From Fixed to Reconfigurable Communication: Bisimulation-Based Distributed Realization.
.- Automata.
.- The Emptiness Problem for Quantum Finite Automata with Classical States.
.- Universalityof1-VariableAutomataisDecidable.
.- Prove: A Runtime Monitor of Linear Temporal Properties over PartialOrder Executions.
