Campus Event Calendar
Event Entry
What and Who
Reactive Synthesis
Sven Schewe
Ringvorlesung
AG 1, AG 2, AG 3, AG 4, AG 5
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 28 April 2005
13:00
-- Not specified --
45
016
Saarbrücken
Abstract
Reactive Synthesis
A reactive system is characterised by its infinite interaction with an
environment. In this talk I present algorithms that automatically synthesize
a reactive system from a logical specification. We will discuss several
different specification languages and environment and system models, and
analyse the impact of these parameters on the complexity and decidability of
the synthesis problem.
A reactive system is characterised by its infinite interaction with an
environment. In this talk I present algorithms that automatically synthesize
a reactive system from a logical specification. We will discuss several
different specification languages and environment and system models, and
analyse the impact of these parameters on the complexity and decidability of
the synthesis problem.
Contact
--email hidden
passcode not visible
logged in users only
Bahareh Kadkhodazadeh, 04/21/2005 09:50
Bahareh Kadkhodazadeh, 04/07/2005 15:39 -- Created document.
Bahareh Kadkhodazadeh, 04/07/2005 15:39 -- Created document.