37 results on '"automata theory"'
Search Results
2. ARED: automata-based runtime estimation for distributed systems using deep learning
3. Automaton-based comparison of Declare process models
4. Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications
5. Automata Theory-based Energy Efficient Area Algorithm for an Optimal Solution in Wireless Sensor Networks
6. Additive Number Theory via Automata Theory
7. Towards a tropical automaton product minimizing global completion times
8. Level Two of the Quantifier Alternation Hierarchy Over Infinite Words
9. Rewriting Higher-Order Stack Trees
10. Semiautomatic Structures
11. Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus
12. Visibly Linear Temporal Logic
13. From LTL to deterministic automata: A safraless compositional approach
14. Myhill–Nerode Methods for Hypergraphs
15. Distribution of Statistics of Hidden State Sequences Through the Sum-Product Algorithm
16. Tools for software verification: Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems
17. Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm
18. Fragments of First-Order Logic over Infinite Words
19. New Results on Noncommutative and Commutative Polynomial Identity Testing
20. Automata for Epistemic Temporal Logic with Synchronous Communication
21. On the regularity of circular splicing languages: a survey and new developments
22. The Complexity of Finding SUBSEQ(A)
23. Don’t care words with an application to the automata-based approach for real addition
24. An overview of quantum computation models: quantum automata
25. The Automata that Define Representations of Monomial Algebras
26. Storage Products and Linear Control of Derivations
27. Automata theory, computer-aided design, and some problems of informatics
28. Formation and Development of Ideas of Artificial Intelligence in V. M. Glushkov’s Works
29. Distributed automata in an assumption-commitment framework
30. Generating conformance tests for nondeterministic protocol machines
31. Quantum Genetics and Quantum Automata Models of Quantum-Molecular Evolution Involved in the Evolution of Organisms and Species
32. Quantum Genetics and Quantum Automata Models of Quantum-Molecular Evolution Involved in the Evolution of Organisms and Species
33. Formal theories of knowledge in AI and robotics
34. An efficient algorithm for finding kleene closure of regular expression matrices
35. Learning syntax by automata induction
36. Deterministic one-dimensional cellular automata
37. Learning Syntax by Automata Induction
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.