no code implementations • 12 Jul 2023 • Aadesh Neupane, Eric G Mercer, Michael A. Goodrich
Temporal logic can be used to formally specify autonomous agent goals, but synthesizing planners that guarantee goal satisfaction can be computationally prohibitive.
no code implementations • 29 Mar 2022 • Aadesh Neupane, Michael A. Goodrich
Evolving swarm behaviors with artificial agents is computationally expensive and challenging.
no code implementations • 26 Apr 2020 • Najma Mathema, Michael A. Goodrich, Jacob W. Crandall
The obtained results show that the proposed Bayesian approach is well suited for modeling agents in two-player repeated games.
no code implementations • 17 Mar 2017 • Jacob W. Crandall, Mayada Oudah, Tennom, Fatimah Ishowo-Oloko, Sherief Abdallah, Jean-François Bonnefon, Manuel Cebrian, Azim Shariff, Michael A. Goodrich, Iyad Rahwan
Here, we combine a state-of-the-art machine-learning algorithm with novel mechanisms for generating and acting on signals to produce a new learning algorithm that cooperates with people and other machines at levels that rival human cooperation in a variety of two-player repeated stochastic games.