Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
1	Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:33:11 Formal methods Theoretical computer science Software engineering Logic in computer science Software development Semigroup action Refinement Predicate transformer semantics Program transformation Postcondition Finite-state machine Formal verification
2	Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:10 Software engineering Computing Programming language theory Procedural programming languages Programming languages Logic in computer science Runtime verification Cross-platform software Program slicing Model checking L-system Trace
3	Motivation Groundwork Distance-Tracking Automata Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Formal languages Finite automata Combinatorics Combinatorics on words Mathematics Discrete mathematics Mealy machine Alphabet String Finite-state transducer Tree transducer
4	Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-05-12 04:35:43 Statistical models Probability and statistics Statistical theory Statistics Timed automaton Parametric model Parameter Markov decision process Markov chain
5	Computable Analysis, Hybrid Automata, and Decision Procedures (Extended Thesis Abstract) Sicun Gao 1 1.1 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Computability theory Mathematics Mathematical logic Theory of computation Computable number Decision problem Computable function NC Continuous function First-order logic Real closed field Limit of a function
6	Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata Aleksandra Jovanovi´ca , Marta Kwiatkowskaa , Gethin Normanb , Quentin Peyrasc a Department Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-02-20 06:08:48 Dynamic programming Markov processes Stochastic control Markov decision process Approximation algorithms Probability Computational complexity theory
7	Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK ISoLa 2016 – Corfu, October 13, 2016 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-13 07:25:34 Program analysis Typestate analysis
8	Finite Horizon Analysis of Markov Automata Dissertation zur Erlangung des akademischen Grades des Doktors der Ingenieurwissenschaften (Dr.-Ing.) der Fakultät für Mathematik und Informatik der Universität des Saarlande Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2018-05-18 11:48:39 Markov models Concurrency Graph theory Markov chain Stochastic Petri net Computing Mathematics Formal methods
9	Active Automata Learning in Practice An Annotated Bibliography of the Years 2011 to 2016 Falk Howar1 and Bernhard Steffen2 1 Dortmund University of Technology and Fraunhofer ISST, Dortmund, Germany Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Finite automata Machine learning Artificial intelligence Dana Angluin Finite-state machine Active learning Theoretical computer science Formal languages Learning Model checking Cellular automata Induction of regular languages
10	Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 10:21:43 Formal languages Mathematics Theoretical computer science Models of computation Discrete mathematics Nested word Words Bisimulation Distribution Deterministic pushdown automaton

UPDATE