Iterative imperative programs can be considered as infinite-state systems computing over possibly unbounded domains.Studying reachability in these systems is challenging as it requires to deal with an infinite number of states with standard backward Lacrosse - Protective - Shoulder Pads or forward exploration strategies.An approach that we call Con
Permanent access to energy is an essential pillar of economic development.However, there is a growing evidence that contemporary energy systems are not able to provide energy to the entire population on a sustainable basis and at affordable prices.In the face of these challenges, renewable energy can play an important role, especially in rural area
Within engineering, economics, and the natural sciences, sustainable aviation is often configured as an ecological and economic problem, which can be solved through technological innovation.In contrast to this, we set up a research project centering on social innovation, named Human demands of sustainable aviation.In the project, we combined theori