:: Library Catalog

Saved in:

Bibliographic Details
Main Authors:	Reimann, Jesse, Mansion, Nico, Haydon, James, Bray, Benjamin, Chattopadhyay, Agnishom, Sato, Sota, Waga, Masaki, André, Étienne, Hasuo, Ichiro, Ueda, Naoki, Yokoyama, Yosuke
Format:	Preprint
Published:	2024
Subjects:	Robotics Logic in Computer Science
Online Access:	https://arxiv.org/abs/2403.18764
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Model-bounded monitoring of hybrid systems
by: Waga, Masaki, et al.
Published: (2021)

Parametric Timed Pattern Matching
by: Waga, Masaki, et al.
Published: (2019)

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination
by: Okudono, Takamasa, et al.
Published: (2024)

A Variety of Request-Response Specifications
by: Aiba, Daichi, et al.
Published: (2025)

Hyper pattern matching
by: Waga, Masaki, et al.
Published: (2025)

Hyper parametric timed CTL
by: Waga, Masaki, et al.
Published: (2024)

Componentwise Automata Learning for System Integration (Extended Version)
by: Fujinami, Hiroya, et al.
Published: (2025)

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
by: Sato, Sota, et al.
Published: (2024)

Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version)
by: Fujinami, Hiroya, et al.
Published: (2024)

A Case Study on Runtime Verification of a Continuous Deployment Process
by: Ansai, Shoma, et al.
Published: (2026)

STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version)
by: Jouve-Genty, Martin, et al.
Published: (2026)

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

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

Active Learning of Symbolic Mealy Automata
by: Irie, Kengo, et al.
Published: (2025)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
by: Tulcan, Radu-Florin, et al.
Published: (2026)

Taming Differentiable Logics with Coq Formalisation
by: Affeldt, Reynald, et al.
Published: (2024)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
by: Phalakarn, Kittiphon, et al.
Published: (2025)

A Coalgebraic Dijkstra Algorithm
by: Sanada, Takahiro, et al.
Published: (2026)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
by: Tsai, Yun Chen, et al.
Published: (2025)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
by: Watanabe, Kazuki, et al.
Published: (2024)

A Modular First Formalisation of Combinatorial Design Theory
by: Edmonds, Chelsea, et al.
Published: (2021)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
by: Waga, Masaki, et al.
Published: (2024)

Summary Talk: Cosmology and Gravitation
by: Ioav Waga
Published: (2001)

Diagrammatic Algebra of First Order Logic
by: Bonchi, Filippo, et al.
Published: (2024)

Monads and Distributive Laws in Substructural Contexts (Extended Version)
by: Fujii, Soichiro, et al.
Published: (2026)

On the best constants of Schur multipliers of second order divided difference functions
by: Caspers, Martijn, et al.
Published: (2024)

On the best constants of Schur multipliers of higher order divided difference functions
by: Caspers, Martijn, et al.
Published: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
by: Benzmüller, Christoph, et al.
Published: (2026)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
by: van der Vegt, Marck, et al.
Published: (2025)

Compositional Value Iteration with Pareto Caching
by: Watanabe, Kazuki, et al.
Published: (2024)

Explicit Hopcroft's Trick in Categorical Partition Refinement
by: Sanada, Takahiro, et al.
Published: (2023)

On split exact sequences and KK-equivalences of amplified graph C*-algebras
by: Reimann, Jesse, et al.
Published: (2026)

‘Arithmetic Does not Deal With All the Factors’: How and Why Communities ‘Take Over’ Their NHS Hospital When Faced With Closure
by: Steph Haydon, et al.
Published: (2026)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
by: Watanabe, Kazuki, et al.
Published: (2024)

Formalising CRDTs in Agda
by: Ibrus, Marlene, et al.
Published: (2025)

A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
by: Motoura, Shota, et al.
Published: (2025)

Steady State Covariance Steering via Sparse Intervention
by: Inoue, Yosuke, et al.
Published: (2026)

Tensor Network Renormalization Study on the Crossover in Classical Heisenberg and $\mathrm{RP^2}$ Models in Two Dimensions
by: Ueda, Atsushi, et al.
Published: (2022)

Finite-size and finite bond dimension effects of tensor network renormalization
by: Ueda, Atsushi, et al.
Published: (2023)

Nonlinear Gaussian process tomography with imposed non-negativity constraints on physical quantities for plasma diagnostics
by: Ueda, Kenji, et al.
Published: (2024)