Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016-3-4

Relating Reachability Problems in Timed and Counter Automata

Christoph Haase, Joël Ouaknine, James Worrell

Fundamenta Informaticae

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 2016-8-19

On the Complexity of L-reachability *

Balagopal Komarath, Jayalal Sarma, K.S. Sunil

Fundamenta Informaticae

Retricted access

Research article

First published 2020

A Constructor-Based Reachability Logic for Rewrite Theories

Stephen Skeirik, Andrei Stefanescu, José Meseguer

Fundamenta Informaticae

Retricted access

Research article

First published 2016

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

Michael Köhler-Bußmeier, Frank Heitmann

Fundamenta Informaticae

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 2012-10

Improving Reachability Analysis of Infinite State Systems by Specialization

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

Fundamenta Informaticae

Retricted access

Research article

First published 2003-5

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

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

Search results