Scott C. Livingston

Author Info

Publications (6 rows)

Collaborators (7 rows)

Referers (75 rows)

Referees (93 rows)

Title	Citations	PageRank	Year
Enhancing tolerance to unexpected jumps in GR(1) games.	1	0.35	2017
Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications	0	0.34	2014
Hot-swapping robot task goals in reactive formal synthesis	2	0.37	2014
Patching task-level robot controllers based on a local μ-calculus formula	6	0.48	2013
Just-in-time synthesis for reactive motion planning with temporal logic	5	0.49	2013
Towards Formal Synthesis Of Reactive Controllers For Dexterous Robotic Manipulation	10	0.55	2012