Sage Journals: Discover world-class research

Retricted access

Research article

First published 2018-1-31

Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking

Artur Rataj, Bożena Woźna-Szcześniak

Fundamenta Informaticae

Retricted access

Research article

First published 2016-3-2

Evaluating probabilistic model checking tools for verification of robot control policies

Shashank Pathak, Luca Pulina, Armando Tacchella

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2022-02-02

Synthesis method of strategy for multi-robot systems from local automatons under probabilistic model checking

Yuchong Huang, Ning Xu, Nan Wang [...]

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

Open access

Research article

First published 2015-5

Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation

José A. Mateo, Hermenegilda Macià, M. Carmen Ruiz [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2006-12-1

Analysis of probabilistic contract signing 1

Gethin Norman, Vitaly Shmatikov

Journal of Computer Security

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

Formal analysis of protection systems in power distribution networks

Sobia Ashraf, Iram Tariq Bhatti, Osman Hasan

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Open access

Research article

First published 2026

Adaptive planning for assistive-care robotic missions

Ioannis Stefanakos, Jordan Hamilton, Radu Calinescu [...]

The International Journal of Robotics 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 2021

Quantitative Verification of Stochastic Regular Expressions

Sinem Getir Yaman, Esteban Pavese, Lars Grunske

Fundamenta Informaticae

Search results