Cover Image

Parametric disjunctive timed networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	André, Étienne, Jacobs, Swen, Lefaucheux, Engel
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Expiring opacity problems in parametric timed automata
by: André, Étienne, et al.
Published: (2024)

The Bright Side of Timed Opacity
by: André, Étienne, et al.
Published: (2024)

The 2-Dimensional Constraint Loop Problem is Decidable
by: Guilmant, Quentin, et al.
Published: (2024)

The Temporal Logic Synthesis Format TLSF v1.2
by: Jacobs, Swen, et al.
Published: (2023)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
by: André, Étienne, et al.
Published: (2023)

A new introduction rule for disjunction
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Parameterized Verification of Disjunctive Timed Networks
by: André, Étienne, et al.
Published: (2023)

Extending CDCL to disjunctions of parity equations
by: Beame, Paul, et al.
Published: (2026)

Non-Termination of Logic Programs Using Patterns
by: Payet, Etienne
Published: (2025)

Parametric Iteration in Resource Theories
by: Di Giorgio, Alessandro, et al.
Published: (2025)

Drawing with Distance
by: Jacobs, Bart
Published: (2024)

Parametric equations for temporal style assertions
by: Yodaiken, Victor
Published: (2016)

Stateful Realizers for Nonstandard Analysis
by: Dinis, Bruno, et al.
Published: (2022)

Nominal Type Theory by Nullary Internal Parametricity
by: Van Muylder, Antoine, et al.
Published: (2025)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
by: Goncharov, Sergey
Published: (2024)

Universal Horn Sentences and the Joint Embedding Property
by: Bodirsky, Manuel, et al.
Published: (2021)

Substructural Parametricity
by: Aberlé, C. B., et al.
Published: (2025)

Compositional Reasoning for Parametric Probabilistic Automata
by: Mertens, Hannah, et al.
Published: (2025)

From Partial to Monadic: Combinatory Algebra with Effects
by: Cohen, Liron, et al.
Published: (2025)

Syntactic Effectful Realizability in Higher-Order Logic
by: Cohen, Liron, et al.
Published: (2025)

One-Parametric Presburger Arithmetic has Quantifier Elimination
by: Mansutti, Alessio, et al.
Published: (2025)

Deep Learning with Parametric Lenses
by: Cruttwell, Geoffrey S. H., et al.
Published: (2024)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
by: Nikooroo, Saleh, et al.
Published: (2025)

A flexible specification approach for verifying total correctness of fine-grained concurrent modules
by: Fasse, Justus, et al.
Published: (2023)

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming
by: Jacobs, Bart, et al.
Published: (2023)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
by: Jacobs, Swen, et al.
Published: (2022)

Formalizing UML State Machines for Automated Verification -- A Survey
by: André, Étienne, et al.
Published: (2024)

Analyzing Value Functions of States in Parametric Markov Chains
by: Engelen, Kasper, et al.
Published: (2025)

Compositional Inference for Bayesian Networks and Causality
by: Jacobs, Bart, et al.
Published: (2025)

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

Automated Theorem Proving for Prolog Verification
by: Mesnard, Fred, et al.
Published: (2026)

Bringing memory to Boolean networks: a unifying framework
by: Gadouleau, Maximilien, et al.
Published: (2024)

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

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
by: Reimann, Jesse, et al.
Published: (2024)

Parametricity via Cohesion
by: Aberlé, C. B.
Published: (2024)

Complete Dynamic Logic of Communicating Hybrid Programs
by: Brieger, Marvin, et al.
Published: (2024)

A Deductive Refinement Calculus for Differential-Algebraic Programs
by: Hellwig, Jonathan, et al.
Published: (2026)

A Type Theory for Probabilistic and Bayesian Reasoning
by: Adams, Robin, et al.
Published: (2015)

Measuring robustness of dynamical systems. Relating time and space to length and precision
by: Blanc, Manon, et al.
Published: (2023)

Variable binding and substitution for (nameless) dummies
by: Hirschowitz, André, et al.
Published: (2022)