A Mechanised Proof of an Adaptive State Counting Algorithm

$ 14.00

5 (227) In stock

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

Jan PELESKA, Professor (Full), Dr. rer. nat., Universität Bremen, Bremen, Uni Bremen, Faculty 03: Mathematics/Computer Science

Battery state-of-charge estimation using machine learning analysis of ultrasonic signatures - ScienceDirect

PDF) Understanding the Nature and Origin of Language with Reference to Theory and Semantics

Sensors, Free Full-Text

Specifying and Generating Test Cases Using Observer Automata

PDF) Understanding the Nature and Origin of Language with Reference to Theory and Semantics

Frontiers Closed-Loop Tracking and Regulation of Emotional Valence State From Facial Electromyogram Measurements

Quantum superposition inspired spiking neural network - ScienceDirect

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