Playing Wordle with Uppaal Stratego (Englisch)
- Neue Suche nach: Jensen, Peter G.
- Neue Suche nach: Larsen, Kim G.
- Neue Suche nach: Mikučionis, Marius
- Neue Suche nach: Jansen, Nils
- Weitere Informationen zu Jansen, Nils:
- https://orcid.org/https://orcid.org/0000-0003-1318-8973
- Neue Suche nach: Stoelinga, Mariëlle
- Weitere Informationen zu Stoelinga, Mariëlle:
- https://orcid.org/https://orcid.org/0000-0001-6793-8165
- Neue Suche nach: van den Bos, Petra
- Neue Suche nach: Jensen, Peter G.
- Neue Suche nach: Larsen, Kim G.
- Neue Suche nach: Mikučionis, Marius
In:
A Journey from Process Algebra via Timed Automata to Model Learning
: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
;
Kapitel: 15
;
283-305
;
2022
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Playing Wordle with Uppaal Stratego
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Jansen, Nils ( Herausgeber:in ) / Stoelinga, Mariëlle ( Herausgeber:in ) / van den Bos, Petra ( Herausgeber:in ) / Jensen, Peter G. ( Autor:in ) / Larsen, Kim G. ( Autor:in ) / Mikučionis, Marius ( Autor:in )
-
Erschienen in:A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday ; Kapitel: 15 ; 283-305Lecture Notes in Computer Science ; 13560 ; 283-305
-
Verlag:
- Neue Suche nach: Springer Nature Switzerland
-
Erscheinungsort:Cham
-
Erscheinungsdatum:07.09.2022
-
Format / Umfang:23 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS RestrictionAceto, Luca / Anastasiadi, Elli / Castiglioni, Valentina / Ingólfsdóttir, Anna et al. | 2022
- 2
-
Operational Causality – Necessarily Sufficient and Sufficiently NecessaryBaier, Christel / Dubslaff, Clemens / Funke, Florian / Jantsch, Simon / Piribauer, Jakob / Ziemek, Robin et al. | 2022
- 3
-
Axiomatizing Consciousness with ApplicationsBarendregt, Henk / Raffone, Antonino et al. | 2022
- 4
-
Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational TheoryBergstra, Jan A. / Tucker, John V. et al. | 2022
- 5
-
A Survey of Model Learning Techniques for Recurrent Neural NetworksBollig, Benedikt / Leucker, Martin / Neider, Daniel et al. | 2022
- 6
-
Back-and-Forth in Space: On Logics and Bisimilarity in Closure SpacesCiancia, Vincenzo / Latella, Diego / Massink, Mieke / de Vink, Erik P. et al. | 2022
- 7
-
Better Automata Through Process AlgebraCleaveland, Rance et al. | 2022
- 8
-
Family-Based Fingerprint Analysis: A Position PaperDamasceno, Carlos Diego N. / Strüber, Daniel et al. | 2022
- 9
-
What’s in School? – Topic Maps for Secondary School Computer ScienceFehnker, Ansgar et al. | 2022
- 10
-
Tree-Based Adaptive Model LearningFerreira, Tiago / van Heerdt, Gerco / Silva, Alexandra et al. | 2022
- 11
-
From Languages to Behaviors and BackFrohme, Markus / Steffen, Bernhard et al. | 2022
- 12
-
The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal LogicFränzle, Martin et al. | 2022
- 13
-
Equivalence Checking 40 Years After: A Review of Bisimulation ToolsGaravel, Hubert / Lang, Frédéric et al. | 2022
- 14
-
Apartness and Distinguishing Formulas in Hennessy-Milner LogicGeuvers, Herman et al. | 2022
- 15
-
Playing Wordle with Uppaal StrategoJensen, Peter G. / Larsen, Kim G. / Mikučionis, Marius et al. | 2022
- 16
-
Using the Parallel ATerm Library for Parallel Model Checking and State Space GenerationGroote, Jan Friso / Jilissen, Kevin H. J. / Laveaux, Maurice / van Spaendonck, P. H. M. / Willemse, Tim A. C. et al. | 2022
- 17
-
Active Automata Learning as Black-Box Search and Lazy Partition RefinementHowar, Falk / Steffen, Bernhard et al. | 2022
- 18
-
A Reconstruction of Ewens’ Sampling Formula via Lists of CoinsJacobs, Bart et al. | 2022
- 19
-
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler ProofJansen, David N. / Liu, Xinxin et al. | 2022
- 20
-
Learning Language IntersectionsJunges, Sebastian / Rot, Jurriaan et al. | 2022
- 21
-
Runtime Verification of Compound Components with ComMAKurtev, Ivan / Hooman, Jozef et al. | 2022
- 22
-
A Basic Compositional Model for Spiking Neural NetworksLynch, Nancy / Musco, Cameron et al. | 2022
- 23
-
State Identification and Verification with SatisfactionMoerman, Joshua / Wißmann, Thorsten et al. | 2022
- 24
-
A Note on the Message Complexity of Cidon’s Distributed Depth-First Search AlgorithmMusaev, Saidgani / Fokkink, Wan et al. | 2022
- 25
-
Minesweeper is Difficult Indeed!Thieme, Alex / Basten, Twan et al. | 2022
- 26
-
Goodbye iocoTretmans, Jan / Janssen, Ramon et al. | 2022
- 27
-
Process Algebras and Flocks of BirdsDe Nicola, Rocco / Di Stefano, Luca / Inverso, Omar / Valiani, Serenella et al. | 2022
- 28
-
The Integration of Testing and Program Verificationvan den Bos, Petra / Huisman, Marieke et al. | 2022
- 29
-
Discovering Directly-Follows Complete Petri Nets from Event Datavan der Aalst, Wil M. P. et al. | 2022
- 30
-
Fair Must Testing for I/O Automatavan Glabbeek, Rob et al. | 2022
- 31
-
Passive Automata Learning: DFAs and NFAsZantema, Hans et al. | 2022