activity
20192021
most citedArchitecture-Guided Test Resource Allocation Via Logic

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

eess.SY2020

Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications

Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut

We propose a symbolic self-triggered controller synthesis procedure for non-deterministic continuous-time nonlinear systems without stability assumptions. The goal is to compute a…