A Mechanised Proof of an Adaptive State Counting Algorithm

PDF) Creating Economical Morphosyntactic Patterns in Language Change

Sensors, Free Full-Text

Automatic Discovery of Fair Paths in Infinite-State Transition Systems

PDF) Test selection based on communicating nondeterministic finite-statemachines using a generalized Wp-method

Fractal Fract, Free Full-Text

PDF) Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems

A Mechanised Proof of an Adaptive State Counting Algorithm

Adaptive response of a metal–organic framework through reversible disorder–disorder transitions

State-dependent evolutionary models reveal modes of solid tumour growth

PDF) Creating Economical Morphosyntactic Patterns in Language Change

PDF) On the implementation of the algorithm for representation of discontinuity in natural language

Adaptive Consistency - an overview

Robert M. Hierons's research works The University of Sheffield, Sheffield (Sheffield) and other places

Sensors, Free Full-Text

Franken-algorithms: the deadly consequences of unpredictable code, Technology