Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving.
Adnan RashidMuhammad UmairOsman HasanMohamed H. ZakiPublished in: IEEE Access (2020)
Keyphrases
- theorem proving
- traffic flow
- theorem prover
- higher order logic
- inference rules
- road traffic
- first order logic
- probabilistic model
- cellular automata
- automated reasoning
- term rewriting
- simulated annealing
- knowledge representation
- expert systems
- travel time
- logical framework
- traffic data
- traffic congestion
- parallel search
- multi agent