C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Synthesis of Railway Signaling Layout from Local Capacity Specifications.
Bjørnar Luteberget
Christian Johansen
Martin Steffen
Published in:
FM (2019)
Keyphrases
</>
machine learning
limited capacity
delay insensitive
written in natural language
traffic management
evolutionary algorithm
multi agent
high level
artificial neural networks
software engineering
texture synthesis
formal specification
high capacity
asynchronous circuits
design requirements
computer vision
real time