Automatic specification of feasible Control Tasks in Benchmark Production Systems.

Mohamed Khalgui, Hans-Michael Hanisch

Browse the full ETFA paper archive.