:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tang, Valdemar, Gomes, Claudio, Lucani, Daniel
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2408.14473
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
von: Hafez, Ahmad, et al.
Veröffentlicht: (2024)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
von: Engelaar, Maico H. W., et al.
Veröffentlicht: (2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
von: Hadjiloizou, Loizos, et al.
Veröffentlicht: (2024)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
von: Kapoor, Parv, et al.
Veröffentlicht: (2024)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
von: Kochdumper, Niklas, et al.
Veröffentlicht: (2023)

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

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
von: Ramirez, Miquel, et al.
Veröffentlicht: (2024)

Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing
von: Schönig, Stefan, et al.
Veröffentlicht: (2025)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
von: Alanwar, Amr, et al.
Veröffentlicht: (2023)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
von: Ghorbel, Bassem, et al.
Veröffentlicht: (2024)

On Propositional Dynamic Logic and Concurrency
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

Intuitionistic Propositional Logic in Lean
von: Trufaş, Dafina
Veröffentlicht: (2024)

Propositional Logics for the Lawvere Quantale
von: Bacci, Giorgio, et al.
Veröffentlicht: (2023)

Inferentialist Resource Semantics
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
von: Ding, Yifeng, et al.
Veröffentlicht: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
von: Lyon, Tim S.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Forex Trading Robot Using Fuzzy Logic
von: Shabani, Mustafa, et al.
Veröffentlicht: (2025)

Stochastic Omega-Regular Verification and Control with Supermartingales
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
von: Phalakarn, Kittiphon, et al.
Veröffentlicht: (2024)

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

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
von: Incer, Inigo
Veröffentlicht: (2024)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
von: Mathiesen, Frederik Baymler, et al.
Veröffentlicht: (2024)

Quantitative Supermartingale Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Context-Aided Variable Elimination for Requirement Engineering
von: Incer, Inigo, et al.
Veröffentlicht: (2023)

ARCH-COMP25 Category Report: Stochastic Models
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
von: Rickard, Luke, et al.
Veröffentlicht: (2023)

CESAR: Control Envelope Synthesis via Angelic Refinements
von: Kabra, Aditi, et al.
Veröffentlicht: (2023)

Solvability of Approximate Reach-Avoid Games
von: Gleirscher, Mario
Veröffentlicht: (2025)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
von: Hsieh, Chiao, et al.
Veröffentlicht: (2025)

Closure Certificates
von: Murali, Vishnu, et al.
Veröffentlicht: (2023)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
von: Schön, Oliver, et al.
Veröffentlicht: (2023)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
von: Incer, Inigo, et al.
Veröffentlicht: (2023)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
von: Graebener, Josefine B., et al.
Veröffentlicht: (2025)

Control Closure Certificates
von: Murali, Vishnu, et al.
Veröffentlicht: (2025)

A formal specification of the desired software behaviour of the Princess Marijke lock complex
von: Groote, Jan Friso, et al.
Veröffentlicht: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
von: Gu, Chao, et al.
Veröffentlicht: (2020)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
von: Murali, Vishnu, et al.
Veröffentlicht: (2026)