Login / Signup
Johan Eddeland
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Cyber Physical
Temporal Logic
Bounded Model Checking
Belief Revision
</>
Publications
</>
Johan Lidén Eddeland
,
Sajed Miremadi
,
Martin Fabian
,
Knut Åkesson
Objective functions for falsification of signal temporal logic properties in cyber-physical systems.
CASE
(2017)