Skip to content
#

simulator

A broad categorization of video games, generally designed to closely simulate real world activities.

Here are 790 public repositories matching this topic...

PANTHER

This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.

  • Updated Sep 3, 2024
  • Python
VectorizedMultiAgentSimulator

VMAS is a vectorized differentiable simulator designed for efficient Multi-Agent Reinforcement Learning benchmarking. It is comprised of a vectorized 2D physics engine written in PyTorch and a set of challenging multi-robot scenarios. Additional scenarios can be implemented through a simple and modular interface.

  • Updated Sep 2, 2024
  • Python
Followers
74 followers
Wikipedia
Wikipedia