Büchi automaton - PDFSEARCH.IO - Document Search Engine

Büchi automaton
Results: 70

#	Item
1	A Sharp Existence Theorem for Vortices in the Theory of Branes1 Xiaosen Han2 arXiv:1110.1423v2 [math-ph] 18 JunInstitute of Contemporary Mathematics Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-06-19 02:20:50 Ordinary differential equations Partial differential equations Fourier analysis Sobolev space Euler–Lagrange equation Calculus of variations Constructible universe Vector space Complementation of Büchi automaton Algebra Mathematics Mathematical analysis
2	Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Büchi automaton Linear temporal logic Symbol Complementation of Büchi automaton Automata theory Theoretical computer science Formal methods
3	How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Linear temporal logic Finite-state machine Symbol Büchi automaton Automata theory Theoretical computer science Formal methods
4	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
5	¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-07-18 21:05:22 Ω-automaton Tree Binary tree Mathematics Tree automaton Büchi automaton Automata theory Theoretical computer science Computer science
6	On Deciding Topological Classes of Deterministic Tree Languages Filip Murlak ? Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2008-12-09 11:42:04 Tree automaton Omega language Regular language Deterministic automaton Ω-automaton Büchi automaton Automata theory Theoretical computer science Computer science
7	Ramsey-Based Analysis of Parity Automata Oliver Friedmann1 and Martin Lange2 1 Dept. of Computer Science, Ludwig-Maximilians-University of Munich, Germany School of Electr. Eng. and Computer Science, University of Kassel Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:13 Complementation of Büchi automaton Automata theory Ω-automaton Symbol
8	Synthesizing Certificates in Networks of Timed Automata∗ Bernd Finkbeiner Hans-J¨org Peter Saarland University {finkbeiner \| peter}@cs.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2009-02-12 09:49:58 Applied mathematics Mathematics Büchi automaton Automata theory Equivalence relation Computer science
9	Ramsey Goes Visibly Pushdown Oliver Friedmann1 , Felix Klaedtke2 , and Martin Lange3 1 LMU Munich, 2 ETH Zurich, and 3 University of Kassel Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-02-13 07:24:13 Nested word Deterministic pushdown automaton Pushdown automaton Connection Complementation of Büchi automaton Automata theory Theoretical computer science Computer science
10	Saarland University Faculty of Natural Sciences and Technology I Department of Computer Science Bachelor’s Thesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:26:51 Büchi automaton Automata theory Models of computation Deterministic finite automaton