Imagen de Portada

Alignment Monitoring

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Henzinger, Thomas A., Kueffner, Konstantin, Singh, Vasu, Sun, I
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Quantitative and Approximate Monitoring
por: Henzinger, Thomas A., et al.
Publicado: (2021)

Strategic Dominance: A New Preorder for Nondeterministic Processes
por: Henzinger, Thomas A., et al.
Publicado: (2024)

Quantitative Monitoring of Signal First-Order Logic
por: Chalupa, Marek, et al.
Publicado: (2026)

Dicey Games: Shared Sources of Randomness in Distributed Systems
por: Brice, Léonard, et al.
Publicado: (2026)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
por: Henzinger, Thomas A., et al.
Publicado: (2025)

Logic Gate Neural Networks are Good for Verification
por: Kresse, Fabian, et al.
Publicado: (2025)

Resolving Nondeterminism with Randomness
por: Henzinger, Thomas A., et al.
Publicado: (2025)

When are two algorithms the same? Towards addressing Hilbert's 24th problem
por: Doubrovinski, Konstantin
Publicado: (2025)

Automating the Analysis of Quantitative Automata with QuAK
por: Chalupa, Marek, et al.
Publicado: (2025)

Extending QuAK with Nested Quantitative Automata
por: Henzinger, Thomas A., et al.
Publicado: (2026)

Monitoring Hyperproperties over Observed and Constructed Traces
por: Chalupa, Marek, et al.
Publicado: (2025)

History-deterministic Timed Automata
por: Bose, Sougata, et al.
Publicado: (2023)

mstlo: Efficient Online Monitoring of Signal Temporal Logic
por: Thomsen, Andreas Kaag, et al.
Publicado: (2026)

Formal Verification of Neural Certificates Done Dynamically
por: Henzinger, Thomas A., et al.
Publicado: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
por: Powell, Thomas
Publicado: (2023)

Alignment complete relational Hoare logics for some and all
por: Nagasamudram, Ramana, et al.
Publicado: (2023)

A Tutorial on Stream-based Monitoring
por: Baumeister, Jan, et al.
Publicado: (2025)

Multi-Property Temporal Logic Monitoring
por: Demir, Arınç, et al.
Publicado: (2026)

Existential and positive games: a comonadic and axiomatic view
por: Abramsky, Samson, et al.
Publicado: (2025)

Consistent Update Synthesis via Privatized Beliefs
por: Schlögl, Thomas, et al.
Publicado: (2024)

Reelay: Online Temporal Logic Monitoring Framework
por: Ulus, Dogan
Publicado: (2026)

Modal Logic for Reasoning About Uncertainty and Confusion
por: Bílková, Marta, et al.
Publicado: (2025)

Learning Robust Markov Models for Safe Runtime Monitoring
por: Skurka, Antonina, et al.
Publicado: (2026)

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
por: Baumeister, Jan, et al.
Publicado: (2025)

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
por: Bonakdarpour, Borzoo, et al.
Publicado: (2024)

If At First You Don't Succeed: Extended Monitorability through Multiple Executions
por: Achilleos, Antonis, et al.
Publicado: (2023)

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
por: Saxena, Ishan, et al.
Publicado: (2025)

Completions of Kleene's second model
por: Terwijn, Sebastiaan A.
Publicado: (2023)

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

Countability constraints in order-theoretic approaches to computability
por: Hack, Pedro, et al.
Publicado: (2022)

Efficient Ranking Function-Based Termination Analysis with Bi-Directional Feedback
por: Sarita, Yasmin, et al.
Publicado: (2024)

Sequent Calculi for Data-Aware Modal Logics
por: Areces, Carlos, et al.
Publicado: (2025)

ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST
por: Li, Xianzhiyu, et al.
Publicado: (2024)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
por: Yamaguchi, Tomoya, et al.
Publicado: (2025)

Monitoring of Static Fairness
por: Henzinger, Thomas A., et al.
Publicado: (2025)

Regular expressions over countable words
por: Colcombet, Thomas, et al.
Publicado: (2025)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
por: Mannucci, Mirco A., et al.
Publicado: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
por: Mannucci, Mirco A., et al.
Publicado: (2026)

Differentially Private Runtime Monitoring
por: Finkbeiner, Bernd, et al.
Publicado: (2026)

Monitoring the Future of Smart Contracts
por: Capretto, Margarita, et al.
Publicado: (2024)