Publications
Total number of publications: 4
Articles
-
Parallel One-Step Control of Parametrised Boolean Networks
Mathematics, year: 2021, volume: 2021, edition: 5
-
The Prisoner's Dilemma in the Workplace: How Cooperative Behavior of Managers Influence Organizational Performance and Stress
Kybernetes, year: 2021, DOI
Conference proceedings
-
Counting Maximal Satisfiable Subsets
35th AAAI Conference on Artificial Intelligence (AAAI-21), year: 2021
-
Timed Automata Relaxation for Reachability
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21), year: 2021