Buchumschlag

Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Koll, Charles, Hang, Preston Tan, Rosulek, Mike, Abbas, Houssam
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science B.5.0; I.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

T-Norm Operators for EU AI Act Compliance Classification: An Empirical Comparison of Lukasiewicz, Product, and Gödel Semantics in a Neuro-Symbolic Reasoning System
von: Laabs, Adam
Veröffentlicht: (2026)

Event-based Solutions for Human-centered Applications: A Comprehensive Review
von: Adra, Mira, et al.
Veröffentlicht: (2025)

Unified Local and Global Attention Interaction Modeling for Vision Transformers
von: Nguyen, Tan, et al.
Veröffentlicht: (2024)

Verification of Unbounded Client-Server Systems with Distinguishable Clients
von: Phawade, Ramchandra, et al.
Veröffentlicht: (2026)

A Three Steps Methodological Approach to Legal Governance Validation
von: Casanovas, Pompeu, et al.
Veröffentlicht: (2024)

Proto-FG3D: Prototype-based Interpretable Fine-Grained 3D Shape Classification
von: Ma, Shuxian, et al.
Veröffentlicht: (2025)

A Computational Approach to Modeling Conversational Systems: Analyzing Large-Scale Quasi-Patterned Dialogue Flows
von: Ammar, Mohamed Achref Ben, et al.
Veröffentlicht: (2025)

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
von: David, Robert, et al.
Veröffentlicht: (2025)

Trustworthiness Preservation by Copies of Machine Learning Systems
von: Ceragioli, Leonardo, et al.
Veröffentlicht: (2025)

Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
von: Hebballi, Chirantan, et al.
Veröffentlicht: (2026)

Verification Challenge: Fractional Cascading for Multi-Nuclide Grid Lookup
von: Siegel, Andrew R.
Veröffentlicht: (2025)

Goal-conditioned reinforcement learning for ultrasound navigation guidance
von: Amadou, Abdoul Aziz, et al.
Veröffentlicht: (2024)

GuardSec: A Multi-Modal Web Platform for Real-Time Digital Fraud Detection, Entity Verification, and Connection Security Analysis in the African Context
von: Bansimba, Gilda Rech, et al.
Veröffentlicht: (2026)

SpATr: MoCap 3D Human Action Recognition based on Spiral Auto-encoder and Transformer Network
von: Bouzid, Hamza, et al.
Veröffentlicht: (2023)

Definite Descriptions and Hybrid Tense Logic
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

How to Surprisingly Consider Recommendations? A Knowledge-Graph-based Approach Relying on Complex Network Metrics
von: Baumann, Oliver, et al.
Veröffentlicht: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
von: Tang, Shuai
Veröffentlicht: (2025)

Locality in Residuated-Lattice Structures
von: Carr, James
Veröffentlicht: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
von: Coniglio, M. E., et al.
Veröffentlicht: (2026)

What's Not on the Plate? Rethinking Food Computing through Indigenous Indian Datasets
von: Gogoi, Pamir, et al.
Veröffentlicht: (2025)

A systematic review: Deep learning-based methods for pneumonia region detection
von: Xu, Xinmei
Veröffentlicht: (2024)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
von: Ceragioli, Leonardo, et al.
Veröffentlicht: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
von: Ceragioli, Leonardo, et al.
Veröffentlicht: (2025)

Comparing Apples to Oranges: A Taxonomy for Navigating the Global Landscape of AI Regulation
von: Alanoca, Sacha, et al.
Veröffentlicht: (2025)

5G Traffic Prediction with Time Series Analysis
von: Nayak, Nikhil, et al.
Veröffentlicht: (2021)

Object-Centric Local Process Models
von: Peeva, Viki, et al.
Veröffentlicht: (2024)

Nash Meets Wertheimer: Using Good Continuation in Jigsaw Puzzles
von: Khoroshiltseva, Marina, et al.
Veröffentlicht: (2024)

Efficient Neural Network Encoding for 3D Color Lookup Tables
von: Zehtab, Vahid, et al.
Veröffentlicht: (2024)

Efficiently Scanning and Resampling Spatio-Temporal Tasks with Irregular Observations
von: Ferenczi, Bryce, et al.
Veröffentlicht: (2024)

PCA- and SVM-Grad-CAM for Convolutional Neural Networks: Closed-form Jacobian Expression
von: Omae, Yuto
Veröffentlicht: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
von: Barlatier, Patrick, et al.
Veröffentlicht: (2025)

Formal Verification of Diffusion Auctions
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

LegalGuardian: A Privacy-Preserving Framework for Secure Integration of Large Language Models in Legal Practice
von: Demir, M. Mikail, et al.
Veröffentlicht: (2025)

Morita Rigidity for Kleene Algebras
von: Serafin, Luke
Veröffentlicht: (2025)

Empowering VLMs for Few-Shot Multimodal Time Series Classification via Tailored Agentic Reasoning
von: Li, Lin, et al.
Veröffentlicht: (2026)

Bridging SFT and DPO for Diffusion Model Alignment with Self-Sampling Preference Optimization
von: Zhang, Daoan, et al.
Veröffentlicht: (2024)

FUTURE-AI: International consensus guideline for trustworthy and deployable artificial intelligence in healthcare
von: Lekadir, Karim, et al.
Veröffentlicht: (2023)

Modal Logics -- RNmatrices vs. Nmatrices
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

Robust Computation Tree Logic
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2022)