The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning von Isberner, Malte, Howar, Falk, Steffen, Bernhard

Volltext

Can We Trust Theorem Provers for Industrial AI? von Howar, Falk, Mues, Malte, Menzies, Tim

Volltext

Active learning for extended finite state machines von Cassel, Sofia, Howar, Falk, Jonsson, Bengt, Steffen, Bernhard

Volltext

The RERS challenge: towards controllable and scalable benchmark synthesis von Howar, Falk, Jasper, Marc, Mues, Malte, Schmidt, David, Steffen, Bernhard

Volltext

Thread Carefully: Preventing Starvation in the ROS 2 Multithreaded Executor von Teper, Harun, Kuhse, Daniel, Gunzel, Mario, Bruggen, Georg von der, Howar, Falk, Chen, Jian-Jia

Volltext

Introduction to Active Automata Learning from a Practical Perspective von Steffen, Bernhard, Howar, Falk, Merten, Maik

Volltext

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments von Aniculaesei, Adina, Arnsberger, Daniel, Howar, Falk, Rausch, Andreas

Volltext

Active Automata Learning in Practice: An Annotated Bibliography of the Years 2011 to 2016 von Howar, Falk, Steffen, Bernhard

Volltext

Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings von Howar, Falk, Barnat, Jiří

Volltext

Thrilling AI – A novel, signal-based digital biomarker for diagnosing canine heart diseases von Bisgin, Pinar, Strube, Tom, Henze, Jasmin, Ljungvall, Ingrid, Häggström, Jens, Wess, Gerhard, Stadler, Julia, Schummer, Christoph, Meister, Sven, Howar, Falk Maria

Volltext

Active Automata Learning as Black-Box Search and Lazy Partition Refinement von Howar, Falk, Steffen, Bernhard

Volltext

A Taxonomy and Reductions for Common Register Automata Formalisms von Dierl, Simon, Howar, Falk

Volltext

Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings

Volltext

Learning register automata: from languages to program structures von Isberner, Malte, Howar, Falk, Steffen, Bernhard

Volltext

Combining Black-Box and White-Box Techniques for Learning Register Automata von Howar, Falk, Jonsson, Bengt, Vaandrager, Frits

Volltext

The Open-Source LearnLib: A Framework for Active Automata Learning von Isberner, Malte, Howar, Falk, Steffen, Bernhard

Volltext

Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings von Huisman, Marieke, Howar, Falk

Volltext

Safe AI in Autonomous Vehicles: Track at AISoLA 2023 von Howar, Falk, Hungar, Hardi

Volltext

Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems: Special Track at ISoLA 2016 von Howar, Falk, Meinke, Karl, Rausch, Andreas

Volltext

JConstraints: A Library for Working with Logic Expressions in Java von Howar, Falk, Jabbour, Fadi, Mues, Malte

Volltext