The following pages link to Luke Ong (Q1641023):
Displaying 7 items.
- Simulating cardinal preferences in Boolean games: a proof technique (Q1641024) (← links)
- The complexity of decision problems about equilibria in two-player Boolean games (Q1648073) (← links)
- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes (Q3617724) (← links)
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems (Q3623010) (← links)
- Higher-Order Model Checking: An Overview (Q4635787) (← links)
- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking (Q4910438) (← links)
- Probabilistic verification beyond context-freeness (Q6649464) (← links)
