Filters








13,999 Hits in 1.5 sec

Query Learning Algorithm for Residual Symbolic Finite Automata [article]

Kaizaburo Chubachi, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara
<span title="2019-02-21">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We propose a query learning algorithm for residual symbolic finite automata (RSFAs).  ...  The result also shows that the benefit of non-determinism in efficiency is even larger in learning SFAs than non-symbolic automata.  ...  Symbolic Finite Automata Symbolic finite automata (SFAs) are finite automata which have more expressive transitions than NFAs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1902.07417v2">arXiv:1902.07417v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ggqd4k526ncmnocmrhn7xwmclq">fatcat:ggqd4k526ncmnocmrhn7xwmclq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200824043204/https://arxiv.org/pdf/1902.07417v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3e/30/3e309e400bf3f2f2822af8a20e2046002edc6838.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1902.07417v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Improving Symbolic Automata Learning with Concolic Execution [chapter]

Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser
<span title="">2020</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
of symbolic automata, leveraging the additional information that can extracted from concolic execution.  ...  We focus on active learning techniques based on L * and propose two extensions of the Minimally Adequate Teacher framework that allow the efficient learning of the input language of a program in the form  ...  [4] used Angluin-style active learning of symbolic automata for the analysis of finite state string sanitizers and filters.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-45234-6_1">doi:10.1007/978-3-030-45234-6_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ax5o2vuwffg3bkeghqiplp2kuu">fatcat:ax5o2vuwffg3bkeghqiplp2kuu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210716013042/https://spiral.imperial.ac.uk:8443/bitstream/10044/1/84011/5/Clun2020_Chapter_ImprovingSymbolicAutomataLearn.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/57/cc/57cc1afb6a59f4d8f1c03e7a13329e1c19a442fd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-45234-6_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives [article]

Anand Balakrishnan, Stefan Jakšić, Edgar A. Aguilar, Dejan Ničković, Jyotirmoy V. Deshmukh
<span title="2022-02-24">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this work, we propose using formal specifications in the form of symbolic automata: these serve as a generalization of both bounded-time temporal logic-based specifications as well as automata.  ...  Furthermore, our use of symbolic automata allows us to define non-sparse potential-based rewards which empirically shape the reward surface, leading to better convergence during RL.  ...  To the best of our knowledge, we present the first method of using symbolic automata as task specifications for reinforcement learning.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2202.02404v2">arXiv:2202.02404v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ycv2oe2eufbgtousllwht2szii">fatcat:ycv2oe2eufbgtousllwht2szii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220211133327/https://arxiv.org/pdf/2202.02404v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/be/1e/be1ef077925ddecf222e9661556a4a270ba377c6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2202.02404v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

A Generic Algorithm for Learning Symbolic Automata from Membership Queries [chapter]

Oded Maler, Irini-Eleftheria Mens
<span title="">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
These languages are accepted by deterministic symbolic automata that use predicates to label transitions, forming a finite partition of the alphabet for every state.  ...  Our learning algorithm, an adaptation of Angluin's L * , combines standard automaton learning by state characterization, with the learning of the static predicates that define the alphabet partitions.  ...  A Fig. 5 : 5 Symbolic automata and semantics function learned in Example 1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-63121-9_8">doi:10.1007/978-3-319-63121-9_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t6f4ych6ineclnitmwffyyqyca">fatcat:t6f4ych6ineclnitmwffyyqyca</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170329040114/http://www-verimag.imag.fr:80/~maler/Papers/learn-generic.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fe/34/fe34f6fab203697394fb34e935953be0f0ddc134.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-63121-9_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

From controlled dynamical systems to context-dependent grammars: A connectionist approach

J.F. Martins, J.A. Dente, A.J. Pires, R. Vilela Mendes
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/74vjt6olkvfqpdykhombmbjp74" style="color: black;">Engineering applications of artificial intelligence</a> </i> &nbsp;
Using automata as basic units we obtain an on-line implementation of the grammars.  ...  The implementation has a hierarchical structure, the lowest level dealing with the identification of alphabet symbols (terminal and non-terminal), and the other with the establishment of the grammar productions  ...  Weight evolution in an automata network for symbol identification: an example. Fig. 5 . 5 Fig. 5. Automata network for symbol identification, after learning and pruning. Fig. 6 . 6 Fig. 6.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.engappai.2008.05.005">doi:10.1016/j.engappai.2008.05.005</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bskitwicpnhvvjk6d37mgh4zfi">fatcat:bskitwicpnhvvjk6d37mgh4zfi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100531194852/http://label2.ist.utl.pt/vilela/Papers/EAAI1207.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/00/2c/002c188e53f90bb5b5068c245ac24b0c77e0a23c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.engappai.2008.05.005"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Combining Black-Box and White-Box Techniques for Learning Register Automata [chapter]

Falk Howar, Bengt Jonsson, Frits Vaandrager
<span title="">2019</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Recently, various techniques have been employed to extend automata learning to extended automata models, which combine control flow with guards and assignments to data variables.  ...  The underlying theoretic framework (active automata learning) was first introduced in a landmark paper by Dana Angluin in 1987 for finite state machines.  ...  Learning Symbolic Automata Let us first consider the subclass of symbolic automata, which are essentially register automata without registers and assignments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-91908-9_26">doi:10.1007/978-3-319-91908-9_26</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jqjz3fm5ivbdni62vt2mukjmle">fatcat:jqjz3fm5ivbdni62vt2mukjmle</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200325235826/https://link.springer.com/content/pdf/10.1007%2F978-3-319-91908-9_26.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bb/c6/bbc643df0fbdb9a30649d31f025f70a3923511ba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-91908-9_26"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Turing Machine and Automata Simulators

Mohamed Hamada
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cx3f4s3qmfe6bg4qvuy2cxezyu" style="color: black;">Procedia Computer Science</a> </i> &nbsp;
This paper introduces a Turing machine and pushdown automata simulators as a virtual environment for learning computational models and automata theory.  ...  The twofold contribution of this work is a novel use of modern technology to improve learning and a longitudinal experimental evaluation of its use in context.  ...  This automata simulator integrates robot based game for enhancing automata learning.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procs.2013.05.314">doi:10.1016/j.procs.2013.05.314</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dlembbhh25gk3jur57v3wrlxa4">fatcat:dlembbhh25gk3jur57v3wrlxa4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190308113943/https://core.ac.uk/download/pdf/81946574.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/37/8a/378adcc8501a0eeb1f18ce9f29230f20ef635f39.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procs.2013.05.314"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

A Robust Class of Data Languages and an Application to Learning

Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege, Orna Kupferman
<span title="2014-12-30">2014</span> <i title="Logical Methods in Computer Science e.V."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c67srop7pbe3nciquoxzy3d6pm" style="color: black;">Logical Methods in Computer Science</a> </i> &nbsp;
Using these results, we establish a learning algorithm to infer session automata through membership and equivalence queries.  ...  We show that, unlike register automata and their various extensions, session automata are robust: They (i) are closed under intersection, union, and (resource-sensitive) complementation, (ii) admit a symbolic  ...  We are grateful to Thomas Schwentick for suggesting the symbolic normal form of data words, and to the reviewers for their valuable comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-10(4:19)2014">doi:10.2168/lmcs-10(4:19)2014</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yva6qkttozfgli7mhtr2a6g3k4">fatcat:yva6qkttozfgli7mhtr2a6g3k4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706105345/http://www.lsv.fr/Publis/PAPERS/PDF/BHLM-lmcs14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e9/fb/e9fb72d7c13f666b34fe27586ff24698c1d6f8c3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-10(4:19)2014"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

A Fresh Approach to Learning Register Automata [chapter]

Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We show that session automata (i) have an expressiveness partly extending, partly reducing that of register automata, (ii) admit a symbolic regular representation, and (iii) have a decidable equivalence  ...  This paper provides an Angluin-style learning algorithm for a class of register automata supporting the notion of fresh data values.  ...  We are grateful to Thomas Schwentick for suggesting the symbolic normal form of data words.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-38771-5_12">doi:10.1007/978-3-642-38771-5_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2yrvahxsevepbdrr4twmois44m">fatcat:2yrvahxsevepbdrr4twmois44m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706105341/http://www.lsv.fr/Publis/PAPERS/PDF/BHLM-hal12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5f/7b/5f7b967577c8a7ae058e70d15bcd7cd1e3d23e1a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-38771-5_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Interpreting Finite Automata for Sequential Data [article]

Christian Albert Hammerschmidt, Sicco Verwer, Qin Lin, Radu State
<span title="2016-11-24">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this paper, we identify the key properties used to interpret automata and propose a modification of a state-merging approach to learn variants of finite state automata.  ...  We see a lot of promise in combining symbolic data with numeric or other data via a flexible state-merging approach to bring automata learning to fields beyond grammatical inference.  ...  Figure 4 : 4 The yeast cell cycle learned in Schmidt and Kramer [2014] using a passive online learning algorithm for timed automata. The colored bars indicate gene activities.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1611.07100v2">arXiv:1611.07100v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/63n7wu6hcrd77m7gwjlrxqmvzu">fatcat:63n7wu6hcrd77m7gwjlrxqmvzu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200917163834/https://arxiv.org/pdf/1611.07100v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8a/96/8a966b4a9fd35e7e367953841f2d00e36b2fcfb0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1611.07100v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Automated Learning Setups in Automata Learning [chapter]

Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Test drivers are an essential part of any practical active automata learning setup.  ...  This paper discusses how test drivers can be created for LearnLib, a flexible automata learning framework.  ...  Test drivers and mappers in active automata learning In most real-life automata learning applications, learning alphabets impose an abstraction on the actual interaction with the SUL.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-34026-0_44">doi:10.1007/978-3-642-34026-0_44</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gmfq65jv2jdrbdgkkllbcbacye">fatcat:gmfq65jv2jdrbdgkkllbcbacye</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161029111057/http://ls5-www.cs.tu-dortmund.de/cms/en/research/papers/automated-learning-setups-isola2012.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b1/bd/b1bd0232d73ca36318690438330e55498fb0f7c7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-34026-0_44"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

TAGS: A Software Tool for Simulating Transducer Automata

Agustín Esmoris, Carlos Iván Chesñevar, Maráa Paula González
<span title="">2005</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eki26od62bbfbaxguakjbyf7du" style="color: black;">International Journal of Electrical Engineering Education</a> </i> &nbsp;
This paper introduces TAGS (Transducer Automata Graphical Simulator), a software tool for teaching different aspects of transducer automata theory, a theoretical topic which underlies many aspects of the  ...  TAGS allows to simulate both Moore and Mealy transducer automata, integrating different theoretical concepts associated with them.  ...  In our opinion, the theory and application of transducer automata are very interesting topics for many students.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7227/ijeee.42.4.5">doi:10.7227/ijeee.42.4.5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/k4bcskhcifcafejf5b42s4n6ne">fatcat:k4bcskhcifcafejf5b42s4n6ne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070812173955/http://cs.uns.edu.ar/~cic/2005/2005_ijeee.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2c/3a/2c3ada576154ef8bd10def2f88f55bd033c6d3be.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7227/ijeee.42.4.5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Page 51 of Automation and Remote Control Vol. 24, Issue 3 [page]

<span title="">1963</span> <i title="Springer Science &amp; Business Media"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_automation-and-remote-control" style="color: black;">Automation and Remote Control </a> </i> &nbsp;
In recent years the literature has clarified the fact that stochastic automata can be used successfully for simulating the learning process.  ...  Tsetlin [1] the learning system is also a stochastic automaton ,con- sisting of a finite automaton whose input is subjected to input symbols consisting of a random sequence whose proba- bility characteristics  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_automation-and-remote-control_1963-03_24_3/page/51" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_automation-and-remote-control_1963-03_24_3/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

The Learnability of Symbolic Automata [chapter]

George Argyros, Loris D'Antoni
<span title="">2018</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper, we study the problem of the learnability of symbolic automata.  ...  First, we present MAT * , a novel L * -style algorithm for learning symbolic automata using membership and equivalence queries, which treats the predicates appearing on transitions as their own learnable  ...  Since finite automata only operate over finite alphabets, all the automata that can be learned using variants of L * , can also be learned using MAT * . Learning Symbolic Automata.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-96145-3_23">doi:10.1007/978-3-319-96145-3_23</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7xf5c27qrjdobdbiitig2dponu">fatcat:7xf5c27qrjdobdbiitig2dponu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502031529/https://link.springer.com/content/pdf/10.1007%2F978-3-319-96145-3_23.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8b/41/8b41eaa0aca0ec7f20b7dbc637d6971cf54d09c4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-96145-3_23"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Algorithms for Inferring Register Automata [chapter]

Fides Aarts, Falk Howar, Harco Kuppens, Frits Vaandrager
<span title="">2014</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In recent years, two different approaches for learning register automata have been developed: as part of the LearnLib tool algorithms have been implemented that are based on the Nerode congruence for register  ...  automata, whereas the Tomte tool implements algorithms that use counterexample-guided abstraction refinement to automatically construct appropriate mappers.  ...  Symbolic Decision Trees. Active automata learning algorithms usually rely on the Nerode relation [28] for identifying the states and transitions of a learned automaton.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-45234-9_15">doi:10.1007/978-3-662-45234-9_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p5hlhykxwncgnojv7y3u64sx7a">fatcat:p5hlhykxwncgnojv7y3u64sx7a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190426053922/https://www.mbsd.cs.ru.nl/publications/papers/fvaan/ISOLA14/main.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7e/dc/7edc91b7df02515e045c348ba4224c49ef77765c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-45234-9_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 13,999 results