Similar Items: An embodied conversational agent with autistic behaviour
- Augmenting the action space with conventions to improve multi-agent cooperation in Hanabi
- Formal specification and verification of safety interlock systems: A comparative case study
- A kernel to support computer-aided verification of embedded software
- Scaling multi-agent reinforcement learning to eleven aside simulated robot soccer
- Extended probabilistic symbolic execution
- Investigating the non-termination of affine loops
Author: Van Zijl, Lynette
- Combining reverse debugging and live programming towards visual thinking in computer programming
- Generalized nondeterminism and the succinct representation of regular languages
- An embodied conversational agent with autistic behaviour
- Generalised acceptance conditions for symmetric difference nondeterministic finite automata
- A parallel cellular automaton simulation framework using CUDA
- A survey of proof systems for CSP