From Symmetric Nets to Symmetric Nets with Bags (2015 edition, full HD)

S1.05 - LTL Properties (pdf)


Listen Later

Properties to be satisfied by the system must be expressed in a formal language. A first approach is introduced with
LTL (Linear Time Logic) properties.
...more
View all episodesView all episodes
Download on the App Store

From Symmetric Nets to Symmetric Nets with Bags (2015 edition, full HD)By Fabrice Kordon