Welcome to Intelligent Systems Area †Most of existing systems consist of several components that operate concurrently. Such systems are called concurrent systems. For systems whose main components are computers, it is necessary to analyze and control their discrete behavior. We are interested in developing efficient techniques for verification, control, and optimization of concurrent systems using mathematical models. Our recent research topics include
|