Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
481	Ranking Automata and Games for Prioritized Requirements Rajeev Alur, Aditya Kanade, and Gera Weiss University of Pennsylvania Abstract. Requirements of reactive systems are usually specified by Add to Reading List Source URL: www.cis.upenn.edu - Date: 2008-04-24 09:17:15
482	Reachabilty in Succinct and Parametric One-Counter Automata C. Haase S. Kreutzer Add to Reading List Source URL: www.cmi.ac.in - Date: 2010-02-09 11:13:40
483	A Lazy Reachability Algorithm for Timed Automata B. Srivathsan LaBRI, Universit´e Bordeaux 1 The reachability problem for timed automata refers to deciding if there exists Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2010-12-23 06:40:11
484	06-Dec-2010 Cachan, France Reasoning on words and trees with data On decidable automata on data words and data trees in relation to satisﬁability of LTL and XPath. Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2010-12-10 08:41:57
485	Probabilistic Finite Automata and Randomness in Nature: a New Approach in the Modelling and Prediction of Climatic Parameters1 L.Mora-Lópeza, R.Morales-Buenoa, M.Sidrach-de-Cardonab, F.Trigueroa a Add to Reading List Source URL: www.iemss.org Language: English - Date: 2011-11-23 04:44:28
486	Experimental Evaluation of Classical Automata Constructions ⋆ Deian Tabakov1 and Moshe Y. Vardi1 Department of Computer Science, Rice University, Houston, TX {dtabakov,vardi}@cs.rice.edu Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2014-08-15 14:22:21
487	Automata-based Pattern Mining from Imperfect Traces Giles Reger Howard Barringer David Rydeheard Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2013-10-02 05:15:34
488	ACTS 2011 Determinization of ω-automata unified Hrishikesh Karmarkar and Supratik Chakraborty IIT Bombay Plan Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2011-01-29 07:33:13
489	Reasoning about XML with Temporal Logics and Automata Leonid Libkin Cristina Sirangelo University of Edinburgh Add to Reading List Source URL: www.sirangelo.info Language: English - Date: 2009-09-04 11:19:16
490	FSA: An Efficient and Flexible C++ Toolkit for Finite State Automata Using On-Demand Computation Stephan Kanthak and Hermann Ney Lehrstuhl f¨ur Informatik VI, Computer Science Department RWTH Aachen – University of Te Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English - Date: 2004-06-30 08:13:17

UPDATE