Copertina

Model-bounded monitoring of hybrid systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Waga, Masaki, André, Étienne, Hasuo, Ichiro
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Systems and Control Formal Languages and Automata Theory Logic in Computer Science D.2.4; F.3.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Parametric Timed Pattern Matching
di: Waga, Masaki, et al.
Pubblicazione: (2019)

Hyper parametric timed CTL
di: Waga, Masaki, et al.
Pubblicazione: (2024)

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

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
di: Ye, Kangfeng, et al.
Pubblicazione: (2024)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
di: Bansal, Suguman, et al.
Pubblicazione: (2025)

CBCL: Safe Self-Extending Agent Communication
di: O'Connor, Hugo
Pubblicazione: (2026)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
di: Geatti, Luca, et al.
Pubblicazione: (2024)

Learning Deterministic One-Counter Automata in Polynomial Time
di: Mathew, Prince, et al.
Pubblicazione: (2025)

Parameterized Verification of Timed Networks with Clock Invariants
di: André, Étienne, et al.
Pubblicazione: (2024)

Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
di: Marksteiner, Stefan, et al.
Pubblicazione: (2025)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
di: Bobrow, Elliot, et al.
Pubblicazione: (2025)

Hyper pattern matching
di: Waga, Masaki, et al.
Pubblicazione: (2025)

Visualising CTL Witnesses and Counterexamples -- Extended Version
di: Rensink, Arend
Pubblicazione: (2026)

Quasi-stratified Order Semantics of Concurrency
di: Koutny, Maciej, et al.
Pubblicazione: (2024)

Towards Automatic Error Recovery in Parsing Expression
di: de Medeiros, Sérgio Queiroz, et al.
Pubblicazione: (2025)

Non-reducible Modal Transition Systems
di: Basile, Davide
Pubblicazione: (2023)

Learning real-time one-counter automata using polynomially many queries
di: Mathew, Prince, et al.
Pubblicazione: (2024)

LR Parsing of Permutation Phrases
di: Kostičová, Jana
Pubblicazione: (2024)

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

Scalable Learning of One-Counter Automata via State-Merging Algorithms
di: Guha, Shibashis, et al.
Pubblicazione: (2025)

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
di: Myreen, Magnus O., et al.
Pubblicazione: (2025)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
di: Aiswarya, C, et al.
Pubblicazione: (2024)

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

The complexity of downward closures of indexed languages
di: Mandel, Richard, et al.
Pubblicazione: (2026)

Bridging Chaos Game Representations and $k$-mer Frequencies of DNA Sequences
di: He, Haoze, et al.
Pubblicazione: (2025)

Probability and Angelic Nondeterminism with Multiset Semantics
di: Ong, Shawn, et al.
Pubblicazione: (2024)

On the Equivalence Checking Problem for Deterministic Top-Down Tree Automata
di: Deng, Zhibo, et al.
Pubblicazione: (2025)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
di: Lin, Deren, et al.
Pubblicazione: (2014)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
di: Wang, Peixin, et al.
Pubblicazione: (2025)

Algorithmic analysis of systems with affine input and polynomial state
di: Clemente, Lorenzo
Pubblicazione: (2025)

Flavors of Quantifiers in Hyperlogics
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
di: Hebballi, Chirantan, et al.
Pubblicazione: (2026)

Stratifiable formulae are not context-free
di: Ryan-Smith, Calliope
Pubblicazione: (2023)

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

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
di: Vatsa, Adarsh, et al.
Pubblicazione: (2025)

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
di: Basold, Henning, et al.
Pubblicazione: (2023)

How Concise are Chains of co-Büchi Automata?
di: Ehlers, Rüdiger
Pubblicazione: (2025)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
di: Ong, Shawn, et al.
Pubblicazione: (2025)

Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations
di: Udupa, Sumukha, et al.
Pubblicazione: (2024)

Characterizing NC1 with Typed Monoids
di: Dawar, Anuj, et al.
Pubblicazione: (2025)