Search Results for author:
Found 5 papers, 0 papers with code
Homeostatic motion planning with innate physics knowledge
Living organisms interact with their surroundings in a closed-loop fashion, where sensory inputs dictate the initiation and termination of behaviours.
Model Checking for Closed-Loop Robot Reactive Planning
Our approach is based on chaining temporary control systems which are spawned to eliminate disturbances in the local environment that disrupt an autonomous agent from its preferred action (or resting state).
Designing a mobile game to generate player data -- lessons learned
In creating RPGLitewith no development expertise we learned a series of lessons about effective amateur game development for research purposes.
Multimedia Computers and Society Software Engineering
Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
The number $R(4, 3, 3)$ is often presented as the unknown Ramsey number with the best chances of being found "soon".
Solving Graph Coloring Problems with Abstraction and Symmetry
This paper introduces a general methodology, based on abstraction and symmetry, that applies to solve hard graph edge-coloring problems and demonstrates its use to provide further evidence that the Ramsey number $R(4, 3, 3)=30$.
