Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
71	On Regularity of Unary Probabilistic Automata S. Akshay1 , Blaise Genest2 , Bruno Karelovic3 , and Nikhil Vyas4 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2016-02-16 02:51:07
72	Efficient Modelling and Generation of Markov Automata∗ Mark Timmer1 1 Formal Joost-Pieter Katoen1,2 Add to Reading List Source URL: www1.isti.cnr.it Language: English - Date: 2012-04-26 05:31:16
73	Introduction Safety Properties General Properties Translating LTL to Probabilistic Automata Dileep Kini Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2016-02-25 04:01:29
74	Playing Optimally on Timed Automata with Random Delays? Nathalie Bertrand1,2 and Sven Schewe2 1 Inria Rennes Bretagne Atlantique, France Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2012-09-28 09:53:19
75	Acta Informatica 41, 293–Digital Object Identiﬁer (DOIs00236Families of automata characterizing context-sensitive languages Christophe Morvan, Chlo´e Rispal Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2006-07-26 16:59:40
76	Publication List Philippe Flajolet Updated October 6, 2010 References [1] Philippe Flajolet and Jean-Marc Steyaert. Complexit´e des probl`emes de decision relatifs aux algorithmes de tri. In Automata, Languages and Prog Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2010-10-06 07:31:52
77	Making a Timberkit is to step into the whole world of Automata, ingenious moving models and scenes. It is an art form in which you can appreciate the magic of mechanical action and a fascinating education and hobby for c Add to Reading List Source URL: www.aytonwest.com Language: English - Date: 2015-01-02 10:24:04
78	Strongly Limited Automata Giovanni Pighizzini Dipartimento di Informatica Università degli Studi di Milano, Italy NCMA 2014 Add to Reading List Source URL: pighizzini.di.unimi.it Language: English
79	E VOLUTION C ELLULAR AUTOMATA M ACHINES OF Add to Reading List Source URL: pages.cpsc.ucalgary.ca Language: English - Date: 2003-03-13 15:47:17
80	Dynamic Communicating Automata and Branching High-Level MSCs Benedikt Bollig1,? , Aiswarya Cyriac1,? , Lo¨ıc H´elou¨et2 , Ahmet Kara3,?? , and Thomas Schwentick3,?? 1 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2015-02-28 19:20:13

UPDATE