Knut Åkesson
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Conflict-free electric vehicle routing problem: an improved compositional algorithm Discrete Event Dynamic Systems | 2024-05-27 | Paper |
| Multi-Requirement Testing Using Focused Falsification 25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| SAT-solving in practice, with a tutorial example from supervisory control Discrete Event Dynamic Systems | 2010-01-18 | Paper |
| Compositional synthesis of maximally permissive supervisors using supervision equivalence Discrete Event Dynamic Systems | 2008-01-04 | Paper |
Research outcomes over time
This page was built for person: Knut Åkesson
