Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing. - Tomás Ausberger; Karel Kubícek 002; Pavla Medvecová; Jindrich Wolf (ETFA, 2022)

Distributed method for Economic Dispatch Problem in power network with multiple uncertainties. - Karel Kubícek 002; Jindrich Wolf (ETFA, 2022)

Distributed method for Economic Dispatch Problem with a battery system and a variable fuel price. - Karel Kubicek 002; Jindrich Wolf; Václav Helma (ETFA, 2023)