Probabilistic automaton

Learning to explore and build maps

David R. Pierce, Benjamin Kuipers

Citations: 52 • 1994

Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior.

Brian Williams, Seung Chung, Vineet Gupta

Citations: 45 • 2001

Model Checking Linear-Time Properties of Probabilistic Systems

Christel Baier, Marcus Größer, Frank Ciesinski

Citations: 27 • 2009

Inferring finite automata with stochastic output functions and an application to map learning

Thomas Dean, Dana Angluin, Kenneth Basye, Sean P. Engelson, Leslie Pack Kaelbling, Evangelos Kokkevis, Oded Maron

Citations: 26 • 1995

Diagnosis as approximate belief state enumeration for probabilistic concurrent constraint automata

Oliver B. Martin, Brian Williams, Michel D. Ingham

Citations: 21 • 2005

Optimal, Efficient Sequential Control of a Soft-Bodied, Peristaltic Sorting Table

Martin Stommel, Wei Xu

Citations: 17 • 2015

Probabilistic Control and Swarm Dynamics in Mobile Robots and Ants

Eugene Kagan, Alexander Rybalov, Alon Sela, Hava T. Siegelmann, Jennie Steshenko

Citations: 14 • 2014

Vector space formulation of probabilistic finite state automata

Yicheng Wen, Asok Ray

Citations: 7 • 2012

Compute Model of Operant Conditioning Based on Probabilistic Automata

Dai Lizhen

Citations: 4 • 2010

Electroactive polymer gels as probabilistic reservoir automata for computation

Vincent Strong, William Holderbaum, Yoshikatsu Hayashi

Citations: 3 • 2022

Multi-agent Verification and Control with Probabilistic Model Checking

David Parker

Citations: 3 • 2023

Fault measure of discrete event systems using probabilistic timed automata

Yi‐Sheng Huang, Ho-Shan Chiang, MuDer Jeng

Citations: 3 • 2011