Robotics and Autonomous Systems Series

Specifying Parameterized Systems in First-Order Temporal Logic

29th January 2020, 13:00 add to calender
George Kourtis

Abstract

George will describe a framework based on monodic first-order temporal logic for the specification of parameterized systems (i.e. systems with an arbitrary number of identical components).
add to calender (including abstract)