4 citations · 8 across the 5 of their papers we have counts for
1 paper · 2 filters
Rafael Rodrigues da Silva, Hai Lin
Many safety-critical systems must achieve high-level task specifications with guaranteed safety and correctness. Much recent progress towards this goal has been made through contro…