Stochastic transition systems

CONCUR'98 Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/bfb0055639 ◽

1998 ◽

pp. 423-438 ◽

Cited By ~ 23

Author(s):

Luca de Alfaro

Keyword(s):

Transition Systems ◽

Stochastic Transition

Download Full-text

When are stochastic transition systems tameable?

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2018.03.004 ◽

2018 ◽

Vol 99 ◽

pp. 41-96 ◽

Cited By ~ 2

Author(s):

Nathalie Bertrand ◽

Patricia Bouyer ◽

Thomas Brihaye ◽

Pierre Carlier

Keyword(s):

Transition Systems ◽

Stochastic Transition

Download Full-text

Stochastic Transition Systems for Continuous State Spaces and Non-determinism

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31982-5_8 ◽

2005 ◽

pp. 125-139 ◽

Cited By ~ 22

Author(s):

Stefano Cattani ◽

Roberto Segala ◽

Marta Kwiatkowska ◽

Gethin Norman

Keyword(s):

Transition Systems ◽

State Spaces ◽

Continuous State ◽

Stochastic Transition

Download Full-text

Structural operational semantics for continuous state stochastic transition systems

Journal of Computer and System Sciences ◽

10.1016/j.jcss.2014.12.003 ◽

2015 ◽

Vol 81 (5) ◽

pp. 834-858 ◽

Cited By ~ 6

Author(s):

Giorgio Bacci ◽

Marino Miculan

Keyword(s):

Operational Semantics ◽

Transition Systems ◽

Continuous State ◽

Stochastic Transition ◽

Structural Operational Semantics

Download Full-text

Technique and tool for symbolic representation and manipulation of stochastic transition systems

Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248) ◽

10.1109/ipds.1998.707731 ◽

2002 ◽

Cited By ~ 1

Author(s):

M. Siegle

Keyword(s):

Symbolic Representation ◽

Transition Systems ◽

Stochastic Transition

Download Full-text

Neural Transition Systems for Modeling Hierarchical Semantic Representations

10.21437/interspeech.2019-3075 ◽

2019 ◽

Author(s):

Riyaz Bhat ◽

John Chen ◽

Rashmi Prasad ◽

Srinivas Bangalore

Keyword(s):

Semantic Representations ◽

Transition Systems

Download Full-text

Battery transition systems

ACM SIGPLAN Notices ◽

10.1145/2578855.2535875 ◽

2014 ◽

Vol 49 (1) ◽

pp. 595-606 ◽

Cited By ~ 2

Author(s):

Udi Boker ◽

Thomas A. Henzinger ◽

Arjun Radhakrishna

Keyword(s):

Transition Systems

Download Full-text

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

Fundamenta Informaticae ◽

10.3233/fi-2021-1996 ◽

2021 ◽

Vol 178 (1-2) ◽

pp. 1-30

Author(s):

Florian Bruse ◽

Martin Lange ◽

Etienne Lozes

Keyword(s):

Model Checking ◽

Lower Bounds ◽

Expressive Power ◽

Higher Order ◽

Order Logic ◽

High Complexity ◽

Transition Systems ◽

Recursive Formulas ◽

Second Order Logic ◽

Monadic Second Order Logic

Higher-Order Fixpoint Logic (HFL) is a modal specification language whose expressive power reaches far beyond that of Monadic Second-Order Logic, achieved through an incorporation of a typed λ-calculus into the modal μ-calculus. Its model checking problem on finite transition systems is decidable, albeit of high complexity, namely k-EXPTIME-complete for formulas that use functions of type order at most k < 0. In this paper we present a fragment with a presumably easier model checking problem. We show that so-called tail-recursive formulas of type order k can be model checked in (k − 1)-EXPSPACE, and also give matching lower bounds. This yields generic results for the complexity of bisimulation-invariant non-regular properties, as these can typically be defined in HFL.

Download Full-text