scholarly journals Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling

2020 ◽  
pp. 467-483
Author(s):  
Yong Li ◽  
Andrea Turrini ◽  
Xuechao Sun ◽  
Lijun Zhang
Keyword(s):  
Monte Carlo ◽  
Monte Carlo Sampling ◽  
Büchi Automata ◽  
Buchi Automata

Equivalent Characterizations of Fuzzy Büchi Automata

2014 ◽  
Vol 36 (6) ◽  
pp. 1235-1245
Author(s):  
Zhao-Wei HAN ◽  
Yong-Ming LI
Keyword(s):  
Büchi Automata ◽  
Buchi Automata

Monte Carlo Sampling with Hierarchical Move Sets: POSH Monte Carlo

2009 ◽  
Vol 5 (8) ◽  
pp. 1968-1984 ◽  
Author(s):  
Jerome Nilmeier ◽  
Matthew P. Jacobson
Keyword(s):  
Monte Carlo ◽  
Monte Carlo Sampling

Bayesian Estimation via Sequential Monte Carlo Sampling:  Unconstrained Nonlinear Dynamic Systems

2004 ◽  
Vol 43 (14) ◽  
pp. 4012-4025 ◽  
Author(s):  
Wen-shiang Chen ◽  
Bhavik R. Bakshi ◽  
Prem K. Goel ◽  
Sridhar Ungarala
Keyword(s):  
Monte Carlo ◽  
Bayesian Estimation ◽  
Dynamic Systems ◽  
Nonlinear Dynamic ◽  
Sequential Monte Carlo ◽  
Monte Carlo Sampling ◽  
Nonlinear Dynamic Systems

scholarly journals Improved inference in Bayesian segmentation using Monte Carlo sampling: Application to hippocampal subfield volumetry

2013 ◽  
Vol 17 (7) ◽  
pp. 766-778 ◽  
Author(s):  
Juan Eugenio Iglesias ◽  
Mert Rory Sabuncu ◽  
Koen Van Leemput
Keyword(s):  
Monte Carlo ◽  
Monte Carlo Sampling ◽  
Bayesian Segmentation
Sign in / Sign up

Export Citation Format

Share Document