Knut Åkesson

From MaRDI portal
Person:843990

Available identifiers

zbMath Open akesson.knutMaRDI QIDQ843990

List of research outcomes





PublicationDate of PublicationType
Conflict-free electric vehicle routing problem: an improved compositional algorithm2024-05-27Paper
Multi-Requirement Testing Using Focused Falsification2024-02-21Paper
SAT-solving in practice, with a tutorial example from supervisory control2010-01-18Paper
Compositional synthesis of maximally permissive supervisors using supervision equivalence2008-01-04Paper

Research outcomes over time

This page was built for person: Knut Åkesson

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:843990&oldid=7657093"
Powered by MediaWiki