Sage Journals: Discover world-class research

1-10 of 505 results for reachability

Sort by:

Relevance

Select allExport selected citations

Sort by:

Relevance

Retricted access

Research article

First published 2006

Analysis of RTCP-nets with Reachability Graphs

Marcin Szpyrka

Fundamenta Informaticae

Retricted access

Research article

First published 2016

On the Complexity of L-reachability *

Balagopal Komarath, Jayalal Sarma, K.S. Sunil

Fundamenta Informaticae

Retricted access

Research article

First published 2020-03

A Constructor-Based Reachability Logic for Rewrite Theories

Stephen Skeirik, Andrei Stefanescu, José Meseguer

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Relating Reachability Problems in Timed and Counter Automata

Christoph Haase, Joël Ouaknine, James Worrell

Fundamenta Informaticae

Open access

Research article

First published 2023

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 2012

Improving Reachability Analysis of Infinite State Systems by Specialization

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

Fundamenta Informaticae

Retricted access

Research article

First published 2016-2

An Upper Bound for the Reachability Problem of Safe,Elementary Hornets

Michael Köhler-Bußmeier, Frank Heitmann

Fundamenta Informaticae

Retricted access

Research article

First published 2003

Using State Equation to Prove Non-Reachability in Timed Petrinets

Louchka Popova-Zeugmann, Matthias Werner, Jan Richling

Fundamenta Informaticae

Open access

Research article

First published 2016-3

A Parametric Modelling Method for Dexterous Finger Reachable Workspaces

Wenzhen Yang, Zhongzheng Jin, XingLi Wu [...]

International Journal of Advanced Robotic Systems

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

Search results