Probabilistic automaton

Learning to explore and build maps

David R. Pierce, Benjamin Kuipers

引用数: 52 • 1994

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

Brian Williams, Seung Chung, Vineet Gupta

引用数: 45 • 2001

Model Checking Linear-Time Properties of Probabilistic Systems

Christel Baier, Marcus Größer, Frank Ciesinski

引用数: 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

引用数: 26 • 1995

Diagnosis as approximate belief state enumeration for probabilistic concurrent constraint automata

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

引用数: 21 • 2005

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

Martin Stommel, Wei Xu

引用数: 17 • 2015

Probabilistic Control and Swarm Dynamics in Mobile Robots and Ants

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

引用数: 14 • 2014

Vector space formulation of probabilistic finite state automata

Yicheng Wen, Asok Ray

引用数: 7 • 2012

Compute Model of Operant Conditioning Based on Probabilistic Automata

Dai Lizhen

引用数: 4 • 2010

Electroactive polymer gels as probabilistic reservoir automata for computation

Vincent Strong, William Holderbaum, Yoshikatsu Hayashi

引用数: 3 • 2022

Multi-agent Verification and Control with Probabilistic Model Checking

David Parker

引用数: 3 • 2023

Fault measure of discrete event systems using probabilistic timed automata

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

引用数: 3 • 2011