Copertina

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bacci, Giorgio, Francalanza, Adrian
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

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
di: Achilleos, Antonis, et al.
Pubblicazione: (2024)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
di: Barbosa, Haniel, et al.
Pubblicazione: (2025)

Proceedings Eighth Symposium on Working Formal Methods
di: Marin, Mircea, et al.
Pubblicazione: (2024)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
di: Di Giusto, Cinzia, et al.
Pubblicazione: (2025)

Polynomial Lawvere Logic
di: Bacci, Giorgio, et al.
Pubblicazione: (2024)

Propositional Logics for the Lawvere Quantale
di: Bacci, Giorgio, et al.
Pubblicazione: (2023)

If At First You Don't Succeed: Extended Monitorability through Multiple Executions
di: Achilleos, Antonis, et al.
Pubblicazione: (2023)

Proceedings 41st International Conference on Logic Programming
di: Gebser, Martin, et al.
Pubblicazione: (2025)

Proceedings of the International Workshop on Verification of Scientific Software
di: Siegel, Stephen F., et al.
Pubblicazione: (2025)

Proceedings 9th edition of Working Formal Methods Symposium
di: Arusoaie, Andrei, et al.
Pubblicazione: (2025)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
di: Rowicki, Radosław Jan, et al.
Pubblicazione: (2025)

Complexity results for modal logic with recursion via translations and tableaux
di: Aceto, Luca, et al.
Pubblicazione: (2023)

Runtime Verification of Interactions Using Automata
di: Weil-Kennedy, Chana, et al.
Pubblicazione: (2025)

Proceedings 40th International Conference on Logic Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2025)

{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
di: Cristiá, Maximiliano, et al.
Pubblicazione: (2025)

Games on Graphs: From Logic and Automata to Algorithms
di: Fijalkow, Nathanaël, et al.
Pubblicazione: (2023)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
di: Kop, Cynthia, et al.
Pubblicazione: (2025)

Sum and Tensor of Quantitative Effects
di: Bacci, Giorgio, et al.
Pubblicazione: (2022)

Proceedings of the 22nd International Conference on Quantum Physics and Logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)

Proceedings of the 21st International Conference on Quantum Physics and Logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2024)

An Expressive Coalgebraic Modal Logic for Cellular Automata
di: Basold, Henning, et al.
Pubblicazione: (2025)

Automata Linear Dynamic Logic on Finite Traces
di: Smith, Kevin W., et al.
Pubblicazione: (2021)

COTS: Connected OpenAPI Test Synthesis for RESTful Applications
di: Burlò, Christian Bartolo, et al.
Pubblicazione: (2024)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
di: Luckcuck, Matt, et al.
Pubblicazione: (2025)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
di: Luckcuck, Matt, et al.
Pubblicazione: (2024)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
di: Benerecetti, Massimo, et al.
Pubblicazione: (2024)

Formal Verification of Isothermal Chemical Reactors
di: Feyzishendi, Parivash, et al.
Pubblicazione: (2025)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
di: Chaudhuri, Kaustuv, et al.
Pubblicazione: (2025)

From Actions to Obligations: A Deontic Action Model Logic
di: Cignarale, Giorgio
Pubblicazione: (2026)

A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
di: Beers, Adrian, et al.
Pubblicazione: (2025)

Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
di: Rabe, Florian, et al.
Pubblicazione: (2024)

Complexity of Verification and Synthesis of Threshold Automata
di: Balasubramanian, A. R., et al.
Pubblicazione: (2020)

A General Automata Model for First-Order Temporal Logics (Extended Version)
di: Geatti, Luca, et al.
Pubblicazione: (2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
di: Hadjiloizou, Loizos, et al.
Pubblicazione: (2024)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
di: Kutsia, Temur, et al.
Pubblicazione: (2024)

Formal Verification of the Empty Hexagon Number
di: Subercaseaux, Bernardo, et al.
Pubblicazione: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
di: Hansen, Zachary
Pubblicazione: (2025)

Formalizing Representation Theorems for a Logical Framework with Rewriting
di: Traversié, Thomas, et al.
Pubblicazione: (2025)