Bjrn Wachter Bernd Westphal - PowerPoint PPT Presentation

1 / 36
} ?>
View by Category
About This Presentation
Title:

Bjrn Wachter Bernd Westphal

Description:

Temporal Properties. predicate. predicate. predicate. LTL 'Globally' Reason about temporal evolution. Safety: cars never enter 'bad' state: ... – PowerPoint PPT presentation

Number of Views:36
Avg rating:3.0/5.0
Slides: 37
Provided by: bjrnwa
Learn more at: http://rw4.cs.uni-sb.de
Category:
Tags: bernd | bjrn | wachter | westphal

less

Write a Comment
User Comments (0)
About PowerShow.com