BOOK-CHAPTER
Probabilistic Automata and Probabilistic Logic
Year: 2012 Lecture notes in computer science Pages: 813-824 Publisher: Springer Science+Business Media
Keywords:
Probabilistic CTL Probabilistic logic Computer science Probabilistic argumentation Decidability Probabilistic logic network Quantum finite automata Theoretical computer science Embedding Automaton Algorithm Automata theory Multimodal logic Description logic Autoepistemic logic Artificial intelligence Probabilistic analysis of algorithms
Metrics
6
Cited By
1.57
FWCI (Field Weighted Citation Impact)
32
Refs
0.78
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Probabilistic automata
Journal: Journal of Mathematical Sciences Year: 1980 Vol: 13 (3)Pages: 359-386
JOURNAL ARTICLE
Probabilistic automata
Journal: Information and Control Year: 1963 Vol: 6 (3)Pages: 230-245
BOOK-CHAPTER
Testing probabilistic automata
Lecture notes in computer science Year: 1996 Pages: 299-314
JOURNAL ARTICLE
Abstract probabilistic automata
Benoît DelahayeJoost-Pieter KatoenKim G. LarsenAxel LegayMikkel L. PedersenFalak SherAndrzej Wąsowski
Journal: Verification, Model Checking and Abstract Interpretation Year: 2011 Pages: 324-339
BOOK-CHAPTER
Probabilistic Cellular Automata
Springer proceedings in physics Year: 1985 Pages: 129-137