Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021

Probabilistic Timed Automata with Clock-Dependent Probabilities

Jeremy Sproston

Fundamenta Informaticae

Retricted access

Research article

First published 2011-10

On the Size of Unary Probabilistic and Nondeterministic Automata

Maria Paola Bianchi, Carlo Mereghetti, Beatrice Palano [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2013-4

Decision Problems for Probabilistic Finite Automata on Bounded Languages

Paul C. Bell, Vesa Halava, Mika Hirvensalo

Fundamenta Informaticae

Retricted access

Research article

First published 2000-08

Optimal Amnesic Probabilistic Automata or How to Learn and Classify Proteins in Linear Time and Space

Alberto Apostolico, Gill Bejerano

Journal of Computational Biology

Retricted access

Research article

First published 2014-09

Probabilistic Cellular Automata

Alexandru Agapie, Anca Andreica, Marius Giuclea

Journal of Computational Biology

Retricted access

Research article

First published 1980

On probabilistic automata in deterministic environment

Jerren Gould, Edward J. Wegman

Fundamenta Informaticae

Retricted access

Research article

First published 2023-12-02

Runtime verification of self-adaptive multi-agent system using probabilistic timed automata

Yongan Mu, Wei Liu, Tao Lu [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Free access

Research article

First published 1999-11

Decomposition Theorems for Probabilistic Automata over Infinite Objects

Robert D. Reisz

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2017-12

On estimating the impact of information spreading in a consumer market modeled by probabilistic cellular automata and ordinary differential equations

PHT Schimit, DF Barros Junior, SA Araújo

SIMULATION

Retricted access

Research article

First published 1980

On stability of probabilistic automata in environments 1

Jerren Gould

Fundamenta Informaticae

Search results