Jindrich Wolf

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Safety Analysis

Linear Temporal Logic

Test Case Generation

Top Venues

Publications

Karel Kubicek, Jindrich Wolf, Václav Helma
Distributed method for Economic Dispatch Problem with a battery system and a variable fuel price. ETFA (2023)
Karel Kubícek, Jindrich Wolf
Distributed method for Economic Dispatch Problem in power network with multiple uncertainties. ETFA (2022)
Tomás Ausberger, Karel Kubícek, Pavla Medvecová, Jindrich Wolf
Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing. ETFA (2022)