A Mechanised Proof of an Adaptive State Counting Algorithm
4.9 (108) · $ 10.00 · In stock
A Mechanised Proof of an Adaptive State Counting Algorithm
Frontiers Passive Brain-Computer Interfaces for Enhanced Human-Robot Interaction
Energies, Free Full-Text
Automatic Discovery of Fair Paths in Infinite-State Transition Systems
PDF) Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems
Efficient generation of entangled multiphoton graph states from a single atom
Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata
Wen-ling Huang's research works Universität Bremen, Bremen (Uni Bremen) and other places
Jan PELESKA, Professor (Full), Dr. rer. nat., Universität Bremen, Bremen, Uni Bremen, Faculty 03: Mathematics/Computer Science
Z3 and SMT in Industrial R&D: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Frontiers Unifying complexity science and machine learning
Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata
PDF) Test selection based on communicating nondeterministic finite-statemachines using a generalized Wp-method
Frontiers Closed-Loop Tracking and Regulation of Emotional Valence State From Facial Electromyogram Measurements
