Cover Image

Context-Aided Variable Elimination for Requirement Engineering

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Incer, Inigo, Benveniste, Albert, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
by: Incer, Inigo, et al.
Published: (2023)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
by: Incer, Inigo
Published: (2024)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
by: Graebener, Josefine B., et al.
Published: (2025)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
by: Chang, Kevin Kai-Chun, et al.
Published: (2026)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
by: Vin, Eric, et al.
Published: (2025)

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

ARCH-COMP25 Category Report: Stochastic Models
by: Abate, Alessandro, et al.
Published: (2025)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
by: Rickard, Luke, et al.
Published: (2023)

CESAR: Control Envelope Synthesis via Angelic Refinements
by: Kabra, Aditi, et al.
Published: (2023)

Closure Certificates
by: Murali, Vishnu, et al.
Published: (2023)

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

Quantitative Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2025)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
by: Hafez, Ahmad, et al.
Published: (2024)

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

Stochastic Omega-Regular Verification and Control with Supermartingales
by: Abate, Alessandro, et al.
Published: (2024)

Solvability of Approximate Reach-Avoid Games
by: Gleirscher, Mario
Published: (2025)

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

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
by: Tang, Valdemar, et al.
Published: (2024)

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

Control Closure Certificates
by: Murali, Vishnu, et al.
Published: (2025)

Efficient Discovery of Actual Causality using Abstraction-Refinement
by: Rafieioskouei, Arshia, et al.
Published: (2024)

A formal specification of the desired software behaviour of the Princess Marijke lock complex
by: Groote, Jan Friso, et al.
Published: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
by: Gu, Chao, et al.
Published: (2020)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
by: Murali, Vishnu, et al.
Published: (2026)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
by: Engelaar, Maico H. W., et al.
Published: (2024)

Inferentialist Resource Semantics
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
by: Badings, Thom, et al.
Published: (2025)

Barrier Certificates for Uncertain Temporal Specifications
by: Mamduhi, Mohammad H., et al.
Published: (2026)

Towards Automatic Linearization via SMT Solving
by: Cao, Jian, et al.
Published: (2024)

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

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
by: Monir, Negar, et al.
Published: (2025)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)

On Generalized Performance Evaluation and Generalized Controller Synthesis
by: Cao, Zining
Published: (2026)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

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

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
by: Chu, Simon, et al.
Published: (2024)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
by: Belly, Marius, et al.
Published: (2024)

Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks
by: Incer, Inigo, et al.
Published: (2024)