A Mechanised Proof of an Adaptive State Counting Algorithm

A Mechanised Proof of an Adaptive State Counting Algorithm

Pain, from perception to action: A computational perspective - ScienceDirect

Sensors, Free Full-Text

A new family of Constitutive Artificial Neural Networks towards automated model discovery - ScienceDirect

Verification of synchronous sequential machines based on symbolic execution

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

Sensors, Free Full-Text

Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata

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

Actuators, Free Full-Text

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

A Mechanised Proof of an Adaptive State Counting Algorithm