:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Henzinger, Thomas A., Kueffner, Konstantin, Singh, Vasu, Sun, I
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2508.00021
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Quantitative and Approximate Monitoring
di: Henzinger, Thomas A., et al.
Pubblicazione: (2021)

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

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

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

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

Resolving Nondeterminism with Randomness
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

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

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

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

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

History-deterministic Timed Automata
di: Bose, Sougata, et al.
Pubblicazione: (2023)

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

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

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

Monitoring of Static Fairness
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

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

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

Flavors of Quantifiers in Hyperlogics
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

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

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

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

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

Reelay: Online Temporal Logic Monitoring Framework
di: Ulus, Dogan
Pubblicazione: (2026)

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

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

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

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

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

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

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

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

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

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

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

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

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

Monitoring Timed Properties (Revisited)
di: Grosen, Thomas Møller, et al.
Pubblicazione: (2022)

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

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

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
di: El-Kholany, Mohammed M. S., et al.
Pubblicazione: (2022)