Buchumschlag

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bonakdarpour, Borzoo, Momtaz, Anik, Ničković, Dejan, Saraç, N. Ege
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Quantitative and Approximate Monitoring
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2021)

Efficient Discovery of Actual Causality using Abstraction-Refinement
von: Rafieioskouei, Arshia, et al.
Veröffentlicht: (2024)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
von: Yamaguchi, Tomoya, et al.
Veröffentlicht: (2025)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties
von: Hsu, Tzu-Han, et al.
Veröffentlicht: (2025)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
von: Gerlach, Lina, et al.
Veröffentlicht: (2025)

Tractable Hyperproperties for MDPs
von: Gerlach, Lina, et al.
Veröffentlicht: (2026)

Syntax-Guided Automated Program Repair for Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

Strategic Dominance: A New Preorder for Nondeterministic Processes
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2024)

Quantitative Monitoring of Signal First-Order Logic
von: Chalupa, Marek, et al.
Veröffentlicht: (2026)

Verifying Global Two-Safety Properties in Neural Networks with Confidence
von: Athavale, Anagha, et al.
Veröffentlicht: (2024)

HyperQB: A Bounded Model Checker for Hyperproperties
von: Hsu, Tzu-Han, et al.
Veröffentlicht: (2021)

Declarative Scenario-based Testing with RoadLogic
von: Bartocci, Ezio, et al.
Veröffentlicht: (2026)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2022)

Automating the Analysis of Quantitative Automata with QuAK
von: Chalupa, Marek, et al.
Veröffentlicht: (2025)

Extending QuAK with Nested Quantitative Automata
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2026)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
von: Andresel, Medina, et al.
Veröffentlicht: (2026)

Nonlinear Arithmetic with SMTLIB Division is Undecidable
von: Jovanovic, Dejan
Veröffentlicht: (2026)

Stronger Validity Criteria for Encoding Synchrony
von: van Glabbeek, Rob, et al.
Veröffentlicht: (2025)

On-the-fly LTLf Synthesis under Partial Observability
von: Alon, Nadav, et al.
Veröffentlicht: (2026)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

The Constraint Satisfaction Problem Over Multisorted Cores
von: Delic, Dejan, et al.
Veröffentlicht: (2025)

Distribution-Free Normal Modal Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2024)

Partial Redundancy in Saturation
von: Hajdu, Márton, et al.
Veröffentlicht: (2025)

Functional Reduction to Speed Up Bounded Model Checking
von: Yu, Changyuan, et al.
Veröffentlicht: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
von: Li, Dazhu, et al.
Veröffentlicht: (2025)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
von: Chrysafis, et al.
Veröffentlicht: (2025)

Alignment Monitoring
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

On Efficient Algorithms For Partial Quantifier Elimination
von: Goldberg, Eugene
Veröffentlicht: (2024)

Revisiting Stateful Partial-Order Reduction
von: Herbreteau, Frédéric, et al.
Veröffentlicht: (2024)

Partial Quantifier Elimination By Certificate Clauses
von: Goldberg, Eugene
Veröffentlicht: (2020)

From Partial to Monadic: Combinatory Algebra with Effects
von: Cohen, Liron, et al.
Veröffentlicht: (2025)

Programming and Reasoning in Partially Observable Probabilistic Environments
von: Gürtler, Tobias, et al.
Veröffentlicht: (2025)

Forward and Backward Simulations for Partially Observable Probability
von: Chen, Chris, et al.
Veröffentlicht: (2025)

Disjoint Partial Enumeration without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2023)

Collusion Relations and their Applications to Balance Theory
von: Joinet, Jean-Baptiste, et al.
Veröffentlicht: (2026)

Balanced residuated partially ordered semigroups
von: Bonzio, Stefano, et al.
Veröffentlicht: (2025)

An Approximate Skolem Function Counter
von: Shaw, Arijit, et al.
Veröffentlicht: (2023)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
von: Goldberg, Eugene
Veröffentlicht: (2024)

Translating Workflow Nets into the Partially Ordered Workflow Language
von: Kourani, Humam, et al.
Veröffentlicht: (2025)