Digital Logic Simulation in a Time-Based, Table-Driven Environment.
Stephen A. SzygendaEdward W. ThompsonPublished in: Computer (1975)
Keyphrases
- simulation environment
- mobile robot
- multi agent based simulation
- simulation tool
- simulation models
- real time
- logic programming
- dynamic environments
- simulation model
- neural network
- data sets
- expressive power
- model checking
- indoor environments
- autonomous robots
- agent model
- mobile devices
- classical logic
- digital curves
- predicate logic
- databases