Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
action (2) model (2) arbitrari (1) synthesi (1) logic (1)
Person: James Hales
DBLP: Hales:James
Contributed to:
Wrote 1 papers:
- LICS-2013-Hales #logic #synthesis
- Arbitrary Action Model Logic and Action Model Synthesis (JH), pp. 253–262.