Thesis projects
Keywords: Strategy synthesis |
---|
Topic and main paper: |
Keywords: Automata Learning, Model Checking |
---|
Topic and main paper: |
Keywords: Model checking, model transformation |
---|
Topic and main paper: |
Keywords: Worst-case execution time (WCET), Model Checking |
---|
Topic and main paper: |
Keywords: Machine Learning |
---|
Topic and main paper: |
Keywords: Decision Making |
---|
Topic and main paper: |
Keywords: Satisfiability Problem, Noise Based Logic |
---|
Topic and main paper: |