Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

LOGCOM
2006

favoriteEmaildiscussreport

64views more LOGCOM 2006»

A Logic of Probability with Decidable Model Checking

13 years 4 months ago

A Logic of Probability with Decidable Model Checking

Download www.cs.tau.ac.il

Danièle Beauquier, Alexander Moshe Rabinovi

Real-time Traffic

LOGCOM 2006 |

claim paper

Related Content

» Decidability and Undecidability in Probability Logic

» Model Checking Lossy Channels Systems Is Probably Decidable

» Quantitative Model Checking Revisited Neither Decidable Nor Approximable

» Decidable FirstOrder Transition Logics for PAProcesses

» Monte Carlo Model Checking

» Reasoning about MDPs as Transformers of Probability Distributions

» On Decidability of LTL Model Checking for Process Rewrite Systems

» Model Checking LTL over Controllable Linear Systems Is Decidable

» On the Decidability of ModelChecking for P Systems

Post Info
More Details (n/a)

Added	14 Dec 2010
Updated	14 Dec 2010
Type	Journal
Year	2006
Where	LOGCOM
Authors	Danièle Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko

Comments (0)