← Back to contracts

AF:Small: Quantified Polyhedral Programming

US NSF grant open #nsf-2525738

Summary

Any system that is required to respond to stimuli from its environment is called a reactive system. The system’s response is possibly to change its status or conditions and even affect its environment. Hence, a reactive system is an event-driven system reacting endlessly to external stimuli. It maintains an ongoing interaction with its environment, changing its responses accordingly. For instance, a communications protocol is a system that must respond to each stimulus, even to a fragment of input, such as a disrupted received message. In several real-world important applications, reactive sys

AF:Small: Quantified Polyhedral Programmin…
Onboard