:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Britikov, Konstantin
Format:	Recurso digital
Language:	English
Published:	Zenodo 2025
Online Access:	https://doi.org/10.5281/zenodo.16919602
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
by: Bembenek, Aaron, et al.
Published: (2026)

Hyperproperty Verification as CHC Satisfiability
by: Itzhaky, Shachar, et al.
Published: (2023)

CHC-COMP 2023: Competition Report
by: De Angelis, Emanuele, et al.
Published: (2024)

Hepatocarcinoma (CHC) y trasplante hepático
by: Rafael Claudino Botero
Published: (2013)

INTERPRETACIÓN DEL WISC-IV. PUNTUACIONES COMPUESTAS Y MODELOS CHC
by: María Elena Brenlla
Published: (2013)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
by: Luo, Ziyan, et al.
Published: (2023)

The significance of CHC human cognitive abilities based diagnostic assessment for learning disorders
by: Chia, Kok Hwee
Published: (2024)

A Note on Dynamic Bidirected Dyck-Reachability with Cycles
by: Zhang, Qirun
Published: (2024)

Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis
by: Chakraborty, Kaustav, et al.
Published: (2024)

The Catastrophic Paradox of Human Cognitive Frameworks in Large Language Model Evaluation: A Comprehensive Empirical Analysis of the CHC-LLM Incompatibility
by: Reddy, Mohan
Published: (2025)

Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis
by: Chakraborty, Kaustav, et al.
Published: (2022)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
by: Deng, Haotian, et al.
Published: (2025)

Editorial: Clinical Impact of Lipid Profile Change After DAA Treatment in CHC Patients—Authors' Reply
by: Zahra Sarrafan‐Chaharsoughi, et al.
Published: (2025)

Goal Space Abstraction in Hierarchical Reinforcement Learning via Set-Based Reachability Analysis
by: Zadem, Mehdi, et al.
Published: (2023)

Reachability Analysis for Design Optimization
by: Nguyen, Steven, et al.
Published: (2026)

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
by: Ren, Dejin, et al.
Published: (2024)

Reachability Analysis for Lexicase Selection via Community Assembly Graphs
by: Dolson, Emily, et al.
Published: (2023)

Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
by: Ladner, Tobias, et al.
Published: (2026)

Program Analysis via Multiple Context Free Language Reachability
by: Conrado, Giovanna Kobus, et al.
Published: (2024)

A Forward Reachability Perspective on Control Barrier Functions and Discount Factors in Reachability Analysis
by: Choi, Jason J., et al.
Published: (2023)

Cycling Signatures: Identifying Cycling Motions in Time Series using Algebraic Topology
by: Bauer, Ulrich, et al.
Published: (2023)

Reachability Analysis of the Domain Name System
by: Nevatia, Dhruv, et al.
Published: (2024)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
by: Hafez, Ahmad, et al.
Published: (2025)

Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
by: Huang, Yanliang, et al.
Published: (2026)

Re-FRAME the Meeting Summarization SCOPE: Fact-Based Summarization and Personalization via Questions
by: Kirstein, Frederic, et al.
Published: (2025)

Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
by: Harapanahalli, Akash, et al.
Published: (2025)

z4 CHC-COMP 2026 Linux x86_64 artifact (c88dadf3e182)
by: Yates, Andrew
Published: (2026)

Generalizing Safety Beyond Collision-Avoidance via Latent-Space Reachability Analysis
by: Nakamura, Kensuke, et al.
Published: (2025)

Reachability Analysis for Black-Box Dynamical Systems
by: Chilakamarri, Vamsi Krishna, et al.
Published: (2024)

RAnGE: Reachability Analysis for Guaranteed Ergodicity
by: Berger, Henry, et al.
Published: (2024)

Quadratic Characterizations for Reachability Analysis of Neural Networks
by: Khalife, Elias, et al.
Published: (2026)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

Pronóstico de pacientes con diagnóstico de carcinoma hepatocelular (CHC) en un hospital de máximo nivel de atención
by: Catalina Santa
Published: (2009)

LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles
by: Zhu, Kai, et al.
Published: (2024)

On Higher-Order Reachability Games vs May Reachability
by: Asada, Kazuyuki, et al.
Published: (2022)

Reachability-Based Design Optimization for Aircraft Maneuverability
by: Nguyen, Steven, et al.
Published: (2026)

Maximizing Reachability via Shifting of Temporal Paths
by: Deligkas, Argyrios, et al.
Published: (2026)

Reachability of Fair Allocations via Sequential Exchanges
by: Igarashi, Ayumi, et al.
Published: (2023)

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
by: Arfvidsson, Kaj Munhoz, et al.
Published: (2025)

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
by: Lin, Albert, et al.
Published: (2025)