Finite state
View article
Pynini: A Python library for weighted finite-state grammar compilation Open
We present Pynini, an open-source library for the compilation of weighted finitestate transducers (WFSTs) and pushdown transducers (PDTs) from strings, contextdependent rewrite rules, and recursive transition networks.Pynini uses the OpenF…
View article
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces Open
Temporally extended goals are critical to the specification of a diversity of real-world planning problems. Here we examine the problem of non-deterministic planning with temporally extended goals specified in linear temporal logic (LTL), …
View article
Weighting Finite-State Transductions With Neural Context Open
How should one apply deep learning to tasks such as morphological reinflection, which stochastically edit one string to get another? A recent approach to such sequence-to-sequence tasks is to compress the input string into a vector that is…
View article
Solving of Two‐Dimensional Unsteady‐State Heat‐Transfer Inverse Problem Using Finite Difference Method and Model Prediction Control Method Open
The Inverse Heat Conduction Problem (IHCP) refers to the inversion of the internal characteristics or thermal boundary conditions of a heat transfer system by using other known conditions of the system and according to some information tha…
View article
Learning Finite State Representations of Recurrent Policy Networks Open
Recurrent neural networks (RNNs) are an effective representation of control policies for a wide range of reinforcement and imitation learning problems. RNN policies, however, are particularly difficult to explain, understand, and analyze d…
View article
Finite State Machines Open
Robots have embedded computers with memory that can be used to store the current state of an algorithm. Finite state machines specify the conditions under which the state of the robot changes and the actions taken when the state changes. F…
View article
Transliterated Mobile Keyboard Input via Weighted Finite-State Transducers Open
Lars Hellsten, Brian Roark, Prasoon Goyal, Cyril Allauzen, Françoise Beaufays, Tom Ouyang, Michael Riley, David Rybach. Proceedings of the 13th International Conference on Finite State Methods and Natural Language Processing (FSMNLP 2017).…
View article
Model Checking: Software and Beyond Open
This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems with unbounded state spaces, and its application to software and o…
View article
Finite State Machine in Game Development Open
Finite State Machine is one of the oldest techniques in gaming where it was used in old games like PACMAN and new games like TOM RAIDER also. In all these games one major goal was to make non player characters more intelligent. There are s…
View article
Metastable Markov chains: from the convergence of the trace to the convergence of the finite-dimensional distributions Open
We consider continuous-time Markov chains which display a family of wells at the same depth. We provide sufficient conditions which entail the convergence of the finite-dimensional distributions of the order parameter to the ones of a fini…
View article
Bridging CNNs, RNNs, and Weighted Finite-State Machines Open
Recurrent and convolutional neural networks comprise two distinct families of models that have proven to be useful for encoding natural language utterances. In this paper we present SoPa, a new model that aims to bridge these two approache…
View article
Data-Driven Spelling Correction using Weighted Finite-State Methods Open
This paper presents two systems for spelling correction formulated as a sequence labeling task. One of the systems is an unstructured classifier and the other one is structured. Both systems are implemented using weighted finite-state meth…
View article
Modeling Reduplication with 2-way Finite-State Transducers Open
This article describes a novel approach to the computational modeling of reduplication. Reduplication is a well-studied linguistic phenomenon. However, it is often treated as a stumbling block within finite-state treatments of morphology. …
View article
Modular supervisor synthesis for extended finite-state machines subject to controllability Open
This paper proposes an algorithm for the synthesis of modular supervisors using extended finite-state machines, i.e., state machines with variables and guards on the transitions. Synthesis is performed by iteratively selecting components f…
View article
A Morphological Parser for Odawa Open
Language communities and linguists conducting fieldwork often confront a lack of linguistic resources.This dearth can be substantially mitigated with the production of simple technologies.We illustrate the utility and design of a finite st…
View article
Neural Finite-State Transducers: Beyond Rational Relations Open
Chu-Cheng Lin, Hao Zhu, Matthew R. Gormley, Jason Eisner. Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers). 201…
View article
Stochastic Finite State Control of POMDPs with LTL Specifications Open
Partially observable Markov decision processes (POMDPs) provide a modeling framework for autonomous decision making under uncertainty and imperfect sensing, e.g. robot manipulation and self-driving cars. However, optimal control of POMDPs …
View article
Continuous-Time Mean Field Games with Finite State Space and Common Noise Open
We formulate and analyze a mathematical framework for continuous-time mean field games with finitely many states and common noise, including a rigorous probabilistic construction of the state process and existence and uniqueness results fo…
View article
Finite State Mean Field Games with Major and Minor Players Open
The goal of the paper is to develop the theory of finite state mean field games with major and minor players when the state space of the game is finite. We introduce the finite player games and derive a mean field game formulation in the l…
View article
Clearing Analysis on Phases: Exact Limiting Probabilities for Skip-Free, Unidirectional, Quasi-Birth-Death Processes Open
A variety of problems in computing, service, and manufacturing systems can be modeled via infinite repeating Markov chains with an infinite number of levels and a finite number of phases. Many such chains are quasi-birth-death processes wi…
View article
Synthesis of High-Speed Finite State Machines in FPGAs by State Splitting Open
A synthesis method of high-speed finite state machines (FSMs) in field programmable gate arrays (FPGAs) based on LUT (Look Up Table) by internal state splitting is offered. The method can be easily included in designing the flow of digital…
View article
The Finite-Horizon Two-Armed Bandit Problem with Binary Responses: A Multidisciplinary Survey of the History, State of the Art, and Myths Open
In this paper we consider the two-armed bandit problem, which often naturally appears per se or as a subproblem in some multi-armed generalizations, and serves as a starting point for introducing additional problem features. The considerat…
View article
Towards Finite-State Morphology of Kurdish Open
Morphological analysis is the study of the formation and structure of words. It plays a crucial role in various tasks in Natural Language Processing (NLP) and Computational Linguistics (CL) such as machine translation and text and speech g…
View article
On Convergence Rates for Homogeneous Markov Chains Open
Improved rates of convergence for ergodic homogeneous Markov chains are studied. In comparison to the earlier papers the setting is also generalised to the case without a unique dominated measure. Examples are provided where the new bound …
View article
Homogeneous Continuous-Time, Finite-State Hidden Semi-Markov Modeling for Enhancing Empirical Classification System Diagnostics of Industrial Components Open
This work presents a method to improve the diagnostic performance of empirical classification system (ECS), which is used to estimate the degradation state of components based on measured signals. The ECS is embedded in a homogenous contin…
View article
Novel Approach for Modeling Wireless Fading Channels Using a Finite State Markov Chain Open
Empirical modeling of wireless fading channels using common schemes such as autoregression and the finite state Markov chain (FSMC) is investigated. The conceptual background of both channel structures and the establishment of their mutual…
View article
A thermodynamically consistent model of finite-state machines Open
Finite-state machines (FSMs) are a theoretically and practically important model of computation. We propose a general, thermodynamically consistent model of FSMs and characterize the resource requirements of these machines. We model FSMs a…
View article
Safe Policy Improvement for POMDPs via Finite-State Controllers Open
We study safe policy improvement (SPI) for partially observable Markov decision processes (POMDPs). SPI is an offline reinforcement learning (RL) problem that assumes access to (1) historical data about an environment, and (2) the so-calle…
View article
On the Price of Risk Under a Regime Switching CGMY Process Open
In this paper, we study option pricing under a regime-switching exponential Lévy model. Assuming that the coefficients are time-dependent and modulated by a finite state Markov chain, we generalise the work in Momeya and Morales (Method Co…
View article
The Laplacian in RL: Learning Representations with Efficient Approximations Open
The smallest eigenvectors of the graph Laplacian are well-known to provide a succinct representation of the geometry of a weighted graph. In reinforcement learning (RL), where the weighted graph may be interpreted as the state transition p…