HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Eduard Paul Enoiu

Publications
Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems
Rong Gu, Peter Jensen, Cristina Seceleanu, Eduard Enoiu and Kristina Lundqvist
EasyChair Preprint 14182
SmartDelta: Automated Quality Assurance and Optimization in Incremental Industrial Software Systems Development
Mehrdad Saadatmand, Eduard Paul Enoiu, Holger Schlingloff, Michael Felderer and Wasif Afzal
EasyChair Preprint 8628

Keyphrases

Continuous System Engineering, Eureka, ITEA, Journal first, Multi-Agent Autonomous Systems, research project, Software Product Lines, software quality, software variants, timed games.

Copyright © 2012-2025 easychair.org. All rights reserved.