Buchumschlag

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ye, Kangfeng, Yan, Fang, Gerasimou, Simos
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Formal Languages and Automata Theory Software Engineering D.2.4; F.3.1; F.3.2; F.4.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
von: Vatsa, Adarsh, et al.
Veröffentlicht: (2025)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
von: Geatti, Luca, et al.
Veröffentlicht: (2024)

Learning Deterministic One-Counter Automata in Polynomial Time
von: Mathew, Prince, et al.
Veröffentlicht: (2025)

CBCL: Safe Self-Extending Agent Communication
von: O'Connor, Hugo
Veröffentlicht: (2026)

Non-reducible Modal Transition Systems
von: Basile, Davide
Veröffentlicht: (2023)

Learning real-time one-counter automata using polynomially many queries
von: Mathew, Prince, et al.
Veröffentlicht: (2024)

Difficulty Generating Factors for Context-free Language Construction Assignments
von: Schmalstieg, Florian, et al.
Veröffentlicht: (2025)

Parsing Hypergraphs using Context-Free Positional Grammars
von: Costagliola, Gennaro, et al.
Veröffentlicht: (2026)

Various Types of Comet Languages and their Application in External Contextual Grammars
von: Ködding, Marvin, et al.
Veröffentlicht: (2024)

FSM Builder: A Tool for Writing Autograded Finite Automata Questions
von: Robson, Eliot Wong, et al.
Veröffentlicht: (2024)

Scalable Learning of One-Counter Automata via State-Merging Algorithms
von: Guha, Shibashis, et al.
Veröffentlicht: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
von: Baier, Daniel, et al.
Veröffentlicht: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
von: Ates, Salih, et al.
Veröffentlicht: (2024)

Characterizing NC1 with Typed Monoids
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)

Identity Testing for Stochastic Languages
von: Agarwal, Smayan, et al.
Veröffentlicht: (2025)

Turn Complexity of Context-free Languages, Pushdown Automata and One-Counter Automata
von: Pighizzini, Giovanni
Veröffentlicht: (2026)

A Graded Modal Type Theory for Pulse Schedules
von: Adams, Robin, et al.
Veröffentlicht: (2025)

Introducing Divergence for Infinite Probabilistic Models
von: Finkel, Alain, et al.
Veröffentlicht: (2023)

Quantifying Confidence in Assurance 2.0 Arguments
von: Bloomfield, Robin, et al.
Veröffentlicht: (2026)

The complexity of downward closures of indexed languages
von: Mandel, Richard, et al.
Veröffentlicht: (2026)

Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report
von: Alevizos, Elias, et al.
Veröffentlicht: (2024)

Model-bounded monitoring of hybrid systems
von: Waga, Masaki, et al.
Veröffentlicht: (2021)

On some Classes of Reversible 2-head Automata
von: Nagy, Benedek, et al.
Veröffentlicht: (2025)

Active Automata Learning with Advice
von: Fica, Michał, et al.
Veröffentlicht: (2025)

Well-Quasi-Orderings on Word Languages
von: Lhote, Nathan, et al.
Veröffentlicht: (2025)

Algebraic Language Theory with Effects
von: Lenke, Fabian, et al.
Veröffentlicht: (2024)

Commuting upper triangular binary morphisms
von: Honkala, Juha
Veröffentlicht: (2023)

Active Learning Techniques for Pomset Recognizers
von: Pommellet, Adrien, et al.
Veröffentlicht: (2025)

Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning
von: Löding, Christof, et al.
Veröffentlicht: (2025)

A Robust Measure on FDFAs Following Duo-Normalized Acceptance
von: Fisman, Dana, et al.
Veröffentlicht: (2023)

Store Languages of Turing Machines and Counter Machines
von: Friesen, Noah, et al.
Veröffentlicht: (2025)

Active Learning of Upward-Closed Sets of Words
von: Aristote, Quentin
Veröffentlicht: (2025)

Deciding DFA-Primality is NP-Hard
von: Spenner, Daniel Alexander
Veröffentlicht: (2026)

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

Verifying Unboundedness via Amalgamation
von: Anand, Ashwani, et al.
Veröffentlicht: (2024)

Omega-Regular Robustness
von: Fisman, Dana, et al.
Veröffentlicht: (2025)

Runtime Consultants
von: Fisman, Dana, et al.
Veröffentlicht: (2025)

Learning Realtime One-Counter Automata
von: Bruyère, Véronique, et al.
Veröffentlicht: (2021)

On History-Deterministic One-Counter Nets
von: Prakash, Keya, et al.
Veröffentlicht: (2022)

Monads, Comonads, and Transducers
von: Stefański, Rafał
Veröffentlicht: (2024)