Imagen de Portada

QuAK: Quantitative Automata Kit (artifact)

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autores principales:	Chalupa, Marek, Henzinger, Thomas, Mazzocchi, Nicolas, Saraç, N. Ege
Formato:	Recurso digital
Lenguaje:	inglés
Publicado:	Zenodo 2024
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

QuAK: Quantitative Automata Kit
por: Chalupa, Marek, et al.
Publicado: (2024)

Automating the Analysis of Quantitative Automata with QuAK
por: Chalupa, Marek, et al.
Publicado: (2025)

Extending QuAK with Nested Quantitative Automata
por: Henzinger, Thomas A., et al.
Publicado: (2026)

Quantitative Language Automata
por: Henzinger, Thomas A., et al.
Publicado: (2025)

Safety and Liveness of Quantitative Properties and Automata
por: Boker, Udi, et al.
Publicado: (2023)

Quantitative Monitoring of Signal First-Order Logic
por: Chalupa, Marek, et al.
Publicado: (2026)

Strategic Dominance: A New Preorder for Nondeterministic Processes
por: Henzinger, Thomas A., et al.
Publicado: (2024)

Quantitative and Approximate Monitoring
por: Henzinger, Thomas A., et al.
Publicado: (2021)

Flavors of Quantifiers in Hyperlogics
por: Chalupa, Marek, et al.
Publicado: (2025)

Monitoring Hyperproperties over Observed and Constructed Traces
por: Chalupa, Marek, et al.
Publicado: (2025)

Hypernode Automata
por: Bartocci, Ezio, et al.
Publicado: (2023)

History-deterministic Timed Automata
por: Bose, Sougata, et al.
Publicado: (2023)

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
por: Bonakdarpour, Borzoo, et al.
Publicado: (2024)

Emil Zátopek, ¿una locomotora como nosotros?
por: Jiri Chalupa
Publicado: (2013)

El Gaucho y el Comerciante. Dos modelos político-económico-sociales de los primeros tiempos de la independencia latinoamericana
por: Jirí Chalupa
Publicado: (2012)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
por: Henzinger, Thomas A., et al.
Publicado: (2025)

Crystalline to Amorphous: Unveiling the Potential of Transition Metal Oxide‐based Electrocatalysts for Facile Oxygen Evolution Reaction in Alkaline Media
por: Baran Sarac, et al.
Publicado: (2024)

Quantitative Semantics for Jumping Automata
por: Almagor, Shaull, et al.
Publicado: (2024)

Cross linguistic influence in learning english as a third language: The case of L1 Arabic, L2 Turkish learners and their attitudes towards learning foreign languages
por: Mehmet Saraç
Publicado: (2021)

Learning Quantitative Automata Modulo Theories
por: Hsiung, Eric, et al.
Publicado: (2024)

Development of NbN based Kinetic Inductance Detectors on sapphire and diamond substrates for fusion plasma polarimetric diagnostics
por: Mazzocchi, Francesco
Publicado: (2022)

QuCheck: A Property-based Testing Framework for Quantum Programs in Qiskit
por: Pontolillo, Gabriel, et al.
Publicado: (2025)

Der Feuchtigkeitszustands‐Wert (MCV) im Erdbau
por: Christoph Henzinger
Publicado: (2025)

The canary in coal country: Educational policy, politics, and the dissolution of a language department
por: Amy S. Thompson, et al.
Publicado: (2025)

Homomorphism Indistinguishability, Multiplicity Automata Equivalence, and Polynomial Identity Testing
por: Černý, Marek, et al.
Publicado: (2025)

Token Games and History-Deterministic Quantitative-Automata
por: Boker, Udi, et al.
Publicado: (2021)

Homeros'tan Klasik Döneme Antik Yunan Toplumunda Kadın Algısının Evrimi
por: Saraç Kurt, Demet
Publicado: (2025)

Relationships between the weight and chemical composition of exuvia and whole body of the black tiger prawn, Penaeus monodon / H. Z. Sarac
por: Sarac, H. Z
Publicado: (1994)

La crisi dell'economia italiana - Situazione e prospettive / Giancarlo Mazzocchi
por: Mazzocchi, Giancarlo

L'insegnamento della religione nella scuola - Parte I. Un documento del Sinodo dei cattolici tedeschi / Giancarlo Mazzocchi
por: Mazzocchi, Giancarlo

L'insegnamento della religione nella scuola - Parte II. Un documento del Sinodo dei cattolici tedeschi / Giancarlo Mazzocchi
por: Mazzocchi, Giancarlo

On Big Data: How should we make sense of them?
por: Fulvio Mazzocchi
Publicado: (2021)

Applications of Quantum Machine Learning for Quantitative Finance
por: Mironowicz, Piotr, et al.
Publicado: (2024)

A MR Fingerprinting Development Kit for Quantitative 3D Brain Imaging
por: Rasim Boyacioglu, et al.
Publicado: (2026)

AIGROW-artifact
por: Dong, Yibo
Publicado: (2025)

Vaddr-artifact
por: HU, YUHANG
Publicado: (2025)

Analysis of the $B_{(s)}\rightarrow T(J^P=2^-)$ transition in light cone QCD sum rules
por: Aliev, T. M., et al.
Publicado: (2024)

A Construction of Quantum Stabilizer Codes from Classical Codes and Butson Hadamard Matrices
por: Sarac, Bulent, et al.
Publicado: (2024)

The fatigue responses of 3D‐printed polylactic acid (PLA) parts with varying raster angles and printing speeds
por: Murat Horasan, et al.
Publicado: (2024)

The Torsional Characterization of 3D‐Printed Polylactic Acid Parts With Alternating Additive Manufacturing Parameters
por: İsmail Saraç, et al.
Publicado: (2024)