Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-11

Automatic software verification for robotics

Jacopo Mantovani

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2020-02-06

An efficient approach to state space management in model checking of complex software systems using machine learning techniques

Mohammad Yasrebi, Vahid Rafe, Hamid parvin [...]

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

Retricted access

Research article

First published 2011-12

High-Level Petri Net Model Checking with AlPiNA

Steve Hostettler, Alexis Marechal, Alban Linard [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2021

A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models

Toufik Benouhiba

Fundamenta Informaticae

Retricted access

Research article

First published 2017

A Framework for the Verification of Parameterized Infinite-state Systems *

Francesco Alberti, Silvio Ghilardi, Natasha Sharygina

Fundamenta Informaticae

Retricted access

Research article

First published 2002-11

CONSISTENT INTERACTION OF SOFTWARE COMPONENTS

Gregor Engels, Jochen M. Küuster, Luuk Groenwegen

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2020-11

DEv-PROMELA: modeling,verification,and validation of a video game by combining model-checking and simulation

Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman

SIMULATION

Open access

Research article

First published 2019-3

GGUM: An R Package for Fitting the Generalized Graded Unfolding Model

Jorge N. Tendeiro, Sebastian Castro-Alvarez

Applied Psychological Measurement

Retricted access

Research article

First published 2018-3

A Note on N in Bayesian Information Criterion for Item Response Models

Sun-Joo Cho, Paul De Boeck

Applied Psychological Measurement

Retricted access

Research article

First published 2011-2

Program transformation for development,verification,and synthesis of programs

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Intelligenza Artificiale

Search results