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 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

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 2013-1

Learning probabilistic real-time automata from multi-attribute event logs

Jana Schmidt, Asghar Ghorbani, Andreas Hapfelmeier [...]

Intelligent Data Analysis: An International Journal

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 2015-11

Probabilistic cost enforcement of security policies

Yannis Mallios, Lujo Bauer, Dilsun Kaynar [...]

Journal of Computer Security

Retricted access

Research article

First published 1969-07

Engineering applications of finite automata

Bernard E. Lutter, Ralph C. Huntsinger

SIMULATION

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 2022

Self-stabilisation of Cellular Automata on Tilings

Nazim Fatès, Irène Marcovici, Siamak Taati

Fundamenta Informaticae

Retricted access

Research article

First published 2011-1

Cellular Automata–Based Model for Simulating Vehicular–Pedestrian Mixed Flows in a Congested Network

Xin Zhang, Gang-Len Chang

Transportation Research Record: Journal of the Transportation Research Board

Search results