“Runtime Monitoring of Distributed Cyber-physical Systems”
Speaker: Borzoo Bonakdarpour Date and Time: Monday, May 23, 2022 at 2:00 pm Location: DBH 3011 Abstract: We consider the problem of detecting violations of specification In the signal temporal logic over […]