Sage Journals: Discover world-class research

Retricted access

Research article

First published 2006-12

Analysis of RTCP-nets with Reachability Graphs

Marcin Szpyrka

Fundamenta Informaticae

Retricted access

Research article

First published 2012-10

Improving Reachability Analysis of Infinite State Systems by Specialization

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

Fundamenta Informaticae

Open access

Research article

First published 2009-2

Improved SAT-based Reachability Analysis with Observability Don’t Cares

Sean Safarpour, Andreas Veneris, Rolf Drechsler

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2018-6

Effectiveness analysis of exoatmospheric interceptor using reachable set model

Chai Hua, Wang Lei

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Open access

Research article

First published 2025-5

Reachability analysis of FMI models using data-driven dynamic sensitivity

Sergiy Bogomolov, Cláudio Gomes, Carlos Isasa [...]

SIMULATION

Retricted access

Research article

First published 2023-1-26

A scalable algorithm for network reachability analysis with cyclic attack graphs

Kengo Zenitani

Journal of Computer Security

Open access

Research article

First published 2024-3

Flight safety warning of iced aircraft based on reachability analysis and fuzzy inference

Guoqiang Yuan, Yinghui Li, Haojun Xu

Measurement and Control

Open access

Research article

First published 2023-05-04

Quantitative reachability analysis of generalized possibilistic decision processes

Zhanyou Ma, Yingnan Gao, Zhaokai Li [...]

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

Retricted access

Research article

First published 2003-5

Reachability Analysis for Timed Automata Using Partitioning Algorithms

Agata Półrola, Wojciech Penczek, Maciej Szreter

Fundamenta Informaticae

Retricted access

Research article

First published 2010-10

Reachability analysis of multi-affine systems

Marius Kloetzer, Calin Belta

Transactions of the Institute of Measurement and Control

Search results