Buchumschlag

Bayesian Machine Learning meets Formal Methods: An application to spatio-temporal data

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Vana, Laura, Visconti, Ennio, Nenzi, Laura, Cadonna, Annalisa, Kastner, Gregor
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Computation Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Formal Modelling and Analysis of Slot Machines
von: Groote, Jan Friso, et al.
Veröffentlicht: (2024)

Proceedings Eighth Symposium on Working Formal Methods
von: Marin, Mircea, et al.
Veröffentlicht: (2024)

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2025)

Realizing the totally unordered structure of ordinals
von: Fontanella, Laura, et al.
Veröffentlicht: (2025)

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
von: ter Beek, Maurice H., et al.
Veröffentlicht: (2026)

On Formally Undecidable Traits of Intelligent Machines
von: Fox, Matthew
Veröffentlicht: (2024)

Formalized Hopfield Networks and Boltzmann Machines
von: Cipollina, Matteo, et al.
Veröffentlicht: (2025)

Constraint Learning for Non-confluent Proof Search
von: Rawson, Michael, et al.
Veröffentlicht: (2026)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
von: Alvarez, David Quinn
Veröffentlicht: (2025)

Formalizing Wu-Ritt Method in Lean 4
von: Xiao, Yuxuan, et al.
Veröffentlicht: (2026)

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

Formalizing equivalences without tears
von: de Jong, Tom
Veröffentlicht: (2024)

Formalization of Amicable Numbers Theory
von: Chen, Zhipeng, et al.
Veröffentlicht: (2026)

Formal Verification of Isothermal Chemical Reactors
von: Feyzishendi, Parivash, et al.
Veröffentlicht: (2025)

A Theory of Formal Choreographic Languages
von: Barbanera, Franco, et al.
Veröffentlicht: (2022)

Formalizing UML State Machines for Automated Verification -- A Survey
von: André, Étienne, et al.
Veröffentlicht: (2024)

Constructive higher sheaf models with applications to synthetic mathematics
von: Coquand, Thierry, et al.
Veröffentlicht: (2026)

Formalizing two-level type theory with cofibrant exo-nat
von: Uskuplu, Elif
Veröffentlicht: (2023)

A Rocq Formalization of Monomial and Graded Orders
von: Boldo, Sylvie, et al.
Veröffentlicht: (2025)

Exploring Formal Math on the Blockchain: An Explorer for Proofgold
von: Brown, Chad E., et al.
Veröffentlicht: (2025)

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2024)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
von: Xu, Jianfeng
Veröffentlicht: (2025)

Positive Almost-Sure Termination of Polynomial Random Walks
von: Winkler, Lorenz, et al.
Veröffentlicht: (2025)

Meta-Modelling in Formal Concept Analysis
von: Wang, Yingjian
Veröffentlicht: (2024)

Formal Verification of the Empty Hexagon Number
von: Subercaseaux, Bernardo, et al.
Veröffentlicht: (2024)

Formalizing Representation Theorems for a Logical Framework with Rewriting
von: Traversié, Thomas, et al.
Veröffentlicht: (2025)

Sequencelib: A Computational Platform for Formalizing the OEIS in Lean
von: Moreira, Walter, et al.
Veröffentlicht: (2026)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
von: de Lima, Thaynara Arielly, et al.
Veröffentlicht: (2024)

Formal Quality Measures for Predictors in Markov Decision Processes
von: Baier, Christel, et al.
Veröffentlicht: (2024)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
von: Cecilia, Gabriele, et al.
Veröffentlicht: (2024)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
von: Cecilia, Gabriele
Veröffentlicht: (2025)

A Rocq Formalization of Simplicial Lagrange Finite Elements
von: Boldo, Sylvie, et al.
Veröffentlicht: (2026)

Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)
von: Li, Letitia W., et al.
Veröffentlicht: (2026)

TRAC: a tool for data-aware coordination (with an application to smart contracts)
von: Afonso, Joao, et al.
Veröffentlicht: (2024)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
von: Brough, Jackson
Veröffentlicht: (2026)

Formally Verified Animation for RoboChart using Interaction Trees
von: Ye, Kangfeng, et al.
Veröffentlicht: (2023)

Formal Verification of Parameterized Systems based on Induction
von: Xiu, Jiaqi, et al.
Veröffentlicht: (2025)

On Improving Deep Active Learning with Formal Verification
von: Spiegelman, Jonathan, et al.
Veröffentlicht: (2025)

Learning Formal Mathematics From Intrinsic Motivation
von: Poesia, Gabriel, et al.
Veröffentlicht: (2024)

Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2026)