Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-10

A Decidable Probability Logic for Timed Probabilistic Systems

Ruggero Lanotte, Danièle Beauquier

Fundamenta Informaticae

Retricted access

Research article

First published 2007-1

Stochastic Petri Box Calculus with Discrete Time

Igor V. Tarasyuk

Fundamenta Informaticae

Retricted access

Research article

First published 1992

On Some Equivalence Relations for Probabilistic Processes 1

Dung T. Huynh, Lu Tian

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Probabilistic Timed Automata with Clock-Dependent Probabilities

Jeremy Sproston

Fundamenta Informaticae

Retricted access

Research article

First published 1997

Investigation of Relationship Between Deterministic and Probabilistic Prediction Models in Pavement Management

Ningyuan Li, Ralph Haas, Wei-Chau Xie

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2017-1

An improved energy envelope stochastic averaging method and its application to a nonlinear oscillator

Yaping Zhao

Journal of Vibration and Control

Retricted access

Research article

First published 2013-1

Large-Scale Transit Schedule Coordination Based on Journey Planner Requests

Rahul Nair, Cathal Coffey, Fabio Pinelli [...]

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2014-5

Probabilistic Priority Assessment of Nurse Calls

Femke Ongenae, Dries Myny, Tom Dhaene [...]

Medical Decision Making

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

Sampling-based methods for factored task and motion planning

Caelan Reed Garrett, Tomás Lozano-Pérez, Leslie Pack Kaelbling

The International Journal of Robotics Research

Search results