Sage Journals: Discover world-class research

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

Update of Probabilistic Beliefs: Implementation and Parametric Verification

Katarzyna Budzyńska, Magdalena Kacprzak, Paweł Rembelski

Fundamenta Informaticae

Open access

Research article

First published 2009-2

A Probabilistic and Approximated Approach to Circuit-Based Formal Verification

Sergio Nocco, Stefano Quer

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2021

Quantitative Verification of Stochastic Regular Expressions

Sinem Getir Yaman, Esteban Pavese, Lars Grunske

Fundamenta Informaticae

Retricted access

Research article

First published 2023-10-13

Symbolic protocol verification with dice 1

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer

Journal of Computer Security

Retricted access

Research article

First published 2009-09

Comparative Verification Exercises on a Probabilistic Network Model for Building Evacuation

M.J. Spearpoint

Journal of Fire Sciences

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

Incremental controller synthesis in probabilistic environments with temporal logic constraints

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta

The International Journal of Robotics Research

Retricted access

Research article

First published 2004-4

Model building and verification for active control of microvibrations with probabilistic assessment of the effects of uncertainties

G S Aglietti, R S Langley, E Rogers [...]

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2021

Probabilistic forecast of low-level wind shear over Jeju international airport using non-homogeneous regression model

Young-Gon Lee, Chansoo Kim

International Journal of Electrical Engineering & Education

Search results