专题：Formal Methods in Verification

This cluster of papers revolves around formal methods in software verification and control, focusing on topics such as model checking, symbolic model checking, satisfiability modulo theories, temporal logic, hybrid systems, automata, safety verification, control barrier functions, runtime verification, and probabilistic systems.
最新文献
Alternative Deterministic Structural Inference: The DSFB Stack for Reconstruction, Causal Architecture, Trust Recursion, and Historical Replay

preprint Full Text OpenAlex

Trust-Monotone Temporal Recursion in Deterministic Structural Dynamics

preprint Full Text OpenAlex

Proposal-Veto Balance for Observable-Only Autonomous Intelligence: Stability Thresholds, Identifiability Limits, and Commit-Window Effects

preprint Full Text OpenAlex

EA(t, r) Instantiation Note: Defect Invariants, No-Trapping, and a Worked Expander-Parity Prototype Realization

preprint Full Text OpenAlex

Compensatory Recovery as a Regime Indicator in Bounded-Context Agents

preprint Full Text OpenAlex

Deterministic Structural Causal Dynamics (DSCD): Trust-Gated Emergence of Certifiable Causal Graphs for Safety-Critical Aerospace Autonomy

preprint Full Text OpenAlex

A δ-Functional Riccati–Barrier Interface for Finite-Horizon Regularity Certificates (v3.8)

preprint Full Text OpenAlex

Vulnerability of LLM Outputs to Heuristics-Inducing Prompt Structures

article Full Text OpenAlex

LICITRA-MMR: A Merkle Mountain Range Ledger Primitive for Cryptographic Runtime Accountability in Agentic AI Systems

article Full Text OpenAlex

From Asimov to Soul Spec: Operationalizing Robot Safety Laws in Declarative Agent Identity Files

preprint Full Text OpenAlex

近5年高被引文献
cvc5: A Versatile and Industrial-Strength SMT Solver

book-chapter Full Text OpenAlex 379 FWCI244.2473

GitHub Copilot AI pair programmer: Asset or Liability?

article Full Text OpenAlex 320 FWCI70.4786

Toward verified artificial intelligence

article Full Text OpenAlex 176 FWCI21.6355

Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning

article Full Text OpenAlex 168 FWCI21.7733

Comparative Study of Ladder Logic and Structured Text Programming for PLC

preprint Full Text OpenAlex 134 FWCI0

Survey on applications of algebraic state space theory of logical systems to finite state machines

article Full Text OpenAlex 120 FWCI16.2226

Strong Structural Controllability of Boolean Networks: Polynomial-Time Criteria, Minimal Node Control, and Distributed Pinning Strategies

article Full Text OpenAlex 109 FWCI8.7611

HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates

book-chapter Full Text OpenAlex 101 FWCI53.7895

Automated verification and synthesis of stochastic hybrid systems: A survey

article Full Text OpenAlex 100 FWCI13.6834

Formal Aspects of Computing

paratext Full Text OpenAlex 97 FWCI0