Copertina

A modular risk concept for complex systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	McGeorge, Dag, Glomsrud, Jon Arne
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Modular Assurance of Complex Systems Using Contract-Based Design Principles
di: McGeorge, Dag, et al.
Pubblicazione: (2024)

Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles
di: Glomsrud, Jon Arne, et al.
Pubblicazione: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
di: Das, Anupam, et al.
Pubblicazione: (2026)

Modal Fragments
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2026)

Proof complexity of positive branching programs
di: Das, Anupam, et al.
Pubblicazione: (2021)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
di: Ma, Zhifeng, et al.
Pubblicazione: (2024)

A SUBSET-SUM Characterisation of the A-Hierarchy
di: Gutleben, Jan, et al.
Pubblicazione: (2024)

On the computational properties of basic mathematical notions
di: Normann, Dag, et al.
Pubblicazione: (2022)

Speedability of computably approximable reals and their approximations
di: Barmpalias, George, et al.
Pubblicazione: (2026)

Modelling of logical systems by means of their fragments
di: Rybakov, Mikhail
Pubblicazione: (2025)

Incompleteness for stably computable formal systems
di: Savelyev, Yasha
Pubblicazione: (2022)

Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)

Complete representation by partial functions for signatures containing antidomain restriction
di: McLean, Brett
Pubblicazione: (2023)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
di: Oda, Yukihiro
Pubblicazione: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
di: Oda, Yukihiro, et al.
Pubblicazione: (2022)

When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames
di: Krebs, Andreas, et al.
Pubblicazione: (2025)

Synchronous Team Semantics for Temporal Logics
di: Krebs, Andreas, et al.
Pubblicazione: (2024)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
di: Kozhemiachenko, Daniil
Pubblicazione: (2024)

Difference-restriction algebras with operators
di: Borlido, Célia, et al.
Pubblicazione: (2025)

The complexity of Presburger arithmetic with power or powers
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

On the complexity of normalization for the planar $λ$-calculus
di: Das, Anupam, et al.
Pubblicazione: (2024)

On the complexity of Maslov's class $\overline{\text{K}}$
di: Fiuk, Oskar, et al.
Pubblicazione: (2024)

Parameterized complexity of n-dense modal logics
di: Gasquet, Olivier
Pubblicazione: (2026)

A method for the automated generation of proof exercises with comparable levels of proving complexity
di: Mendes, João, et al.
Pubblicazione: (2026)

Non-wellfounded parsimonious proofs and non-uniform complexity
di: Acclavio, Matteo, et al.
Pubblicazione: (2024)

On some computational properties of open sets
di: Normann, Dag, et al.
Pubblicazione: (2024)

Disjunctions of Two Dependence Atoms
di: Fröhlich, Nicolas, et al.
Pubblicazione: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
di: Kaye, George
Pubblicazione: (2025)

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
di: Aceto, Luca, et al.
Pubblicazione: (2024)

First order complexity of finite random structures
di: Demin, Danila, et al.
Pubblicazione: (2024)

Temporal Team Semantics Revisited
di: Gutsfeld, Jens Oliver, et al.
Pubblicazione: (2021)

A Logic of Inability
di: Wang, Shanxia
Pubblicazione: (2026)

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

A modal approach towards substitutions
di: Tu, Yaxin, et al.
Pubblicazione: (2025)

A logic for default deontic reasoning
di: Piazza, Mario, et al.
Pubblicazione: (2025)

A Study on Actions for Atomic Logics
di: Espejo-Boix, Raül
Pubblicazione: (2024)

A Logic of Secrecy on Simplicial Models
di: Wang, Shanxia
Pubblicazione: (2026)

A Cobham theorem for scalar multiplication
di: Hieronymi, Philipp, et al.
Pubblicazione: (2024)

Message complexity for unary multiautomata systems
di: Choffrut, Christian
Pubblicazione: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)