Imagen de Portada

Non-Deterministic Planning for Hyperproperty Verification

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Beutner, Raven, Finkbeiner, Bernd
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science Artificial Intelligence Formal Languages and Automata Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Verifying Asynchronous Hyperproperties in Reactive Systems
por: Beutner, Raven, et al.
Publicado: (2025)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
por: Finkbeiner, Bernd, et al.
Publicado: (2026)

Logics for Context-free Hyperproperties
por: Winter, Sarah, et al.
Publicado: (2026)

Counterfactual Explanations for MITL Violations
por: Finkbeiner, Bernd, et al.
Publicado: (2024)

Knowledge Compilation for Quantification in Alternating Automata
por: Akshay, S., et al.
Publicado: (2026)

Verification of Neural Networks (Lecture Notes)
por: Bollig, Benedikt
Publicado: (2026)

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
por: Neider, Daniel, et al.
Publicado: (2025)

Towards Autoformalization of LLM-generated Outputs for Requirement Verification
por: Gupte, Mihir, et al.
Publicado: (2025)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
por: Klopfenstein, Rocky, et al.
Publicado: (2025)

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
por: Caminati, Marco B.
Publicado: (2024)

Systemic Constraints of Undecidability
por: Bulin, Seth
Publicado: (2025)

Random Deterministic Automata With One Added Transition
por: Carayol, Arnaud, et al.
Publicado: (2024)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2025)

A Direct Translation from LTL with Past to Deterministic Rabin Automata
por: Azzopardi, Shaun, et al.
Publicado: (2024)

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
por: Chen, Yu-Fang, et al.
Publicado: (2024)

Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies
por: Rahmani, Hazhar, et al.
Publicado: (2024)

Parameterized Verification of Quantum Circuits (Technical Report)
por: Abdulla, Parosh Aziz, et al.
Publicado: (2025)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
por: Aminof, Benjamin, et al.
Publicado: (2024)

Temporal Ensemble Logic
por: Zhang, Guo-Qiang
Publicado: (2024)

A process algebraic framework for multi-agent dynamic epistemic systems
por: Aldini, Alessandro
Publicado: (2024)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
por: Roy, Rajarshi, et al.
Publicado: (2025)

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
por: Chakraborty, Debraj, et al.
Publicado: (2026)

SemML 2.0: Synthesizing Controllers for LTL
por: Křetínský, Jan, et al.
Publicado: (2026)

A Formal Framework for the Explanation of Finite Automata Decisions
por: Granada, Jaime Cuartas, et al.
Publicado: (2026)

Subtyping in DHOL -- Extended preprint
por: Rothgang, Colin, et al.
Publicado: (2025)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
por: Hausmann, Daniel, et al.
Publicado: (2025)

The Transformation Logics
por: Ronca, Alessandro
Publicado: (2023)

LTL$_f$ Learning Meets Boolean Set Cover
por: Bathie, Gabriel, et al.
Publicado: (2025)

Symbolic Synthesis for LTLf+ Obligations
por: De Giacomo, Giuseppe, et al.
Publicado: (2026)

About Time: Model-free Reinforcement Learning with Timed Reward Machines
por: Roy, Rajarshi, et al.
Publicado: (2025)

Recomposition: A New Technique for Efficient Compositional Verification
por: Dardik, Ian, et al.
Publicado: (2024)

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
por: Bollig, Benedikt
Publicado: (2026)

MightyPPL: Verification of MITL with Past and Pnueli Modalities
por: Ho, Hsi-Ming, et al.
Publicado: (2025)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
por: Quansah, Paapa Kwesi, et al.
Publicado: (2026)

Lemur: Integrating Large Language Models in Automated Program Verification
por: Wu, Haoze, et al.
Publicado: (2023)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
por: Rao, Balaji, et al.
Publicado: (2025)

A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
por: Tsai, Wei-Lun, et al.
Publicado: (2026)

Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
por: Besset, Antoine, et al.
Publicado: (2025)

Slightly Non-Linear Higher-Order Tree Transducers
por: Nguyên, Lê Thành Dũng, et al.
Publicado: (2024)

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis
por: Randour, Mickael
Publicado: (2025)