Deciding Emptiness of min-automata Szymon Toruńczyk joint work with Mikołaj Bojańczyk

Source URL: www.mimuw.edu.pl

ioco Theory for Probabilistic Automata M. Gerhold, M.I.A. Stoelinga10th MBT Workshop, London 2015

Source URL: mbt-workshop.org

Learning Finite Automata Using Label Queries LEV REYZIN YALE UNIVERSITY  YAHOO! RESEARCH DANA ANGLUIN

Source URL: www.levreyzin.com

• Dana Angluin
• Virgili

Automata with timed atoms Sławomir Lasota University of Warsaw joint work with Mikołaj Bojańczyk and Lorenzo Clemente

Source URL: www.mimuw.edu.pl

Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata Jacques Duparc1 , Alessandro Facchini1,2? , and Filip Murlak3?? 1

Source URL: my.unil.ch

LNCSSynthesis of Distributed Algorithms Using Asynchronous Automata

Source URL: www.labri.fr

Finite-Valued Weighted Automata∗ Emmanuel Filiot1 , Raffaella Gentilini2 , and Jean-François Raskin1 1 2 Université Libre de Bruxelles

Source URL: www.ulb.ac.be

October 14, Spring 2009 Quiz 1 Solutions Introduction to Algorithms Massachusetts Institute of Technology

Source URL: courses.csail.mit.edu

• Computer programming
• Arrays
• Mathematical analysis
• Computing
• Finite automata
• Trie
• B-tree
• Master theorem
• Hash table

A quadratic construction for Zielonka automata with acyclic communication structure∗ Siddharth Krishna Chennai Mathematical Institute, Chennai, India Anca Muscholl LaBRI, Universit´e Bordeaux, France

Source URL: www.labri.fr

One-Counter Automata with Counter Visibility Benedikt Bollig arXiv:1602.05940v1 [cs.FL] 18 FebLSV, ENS Cachan, CNRS, Inria, Université Paris-Saclay, France

Source URL: arxiv.org