Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer. Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. In Anna Maria Bigatti, Martin Brain, editors, Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018. Volume 2189 of CEUR Workshop Proceedings, pages 95, CEUR-WS.org, 2018. [doi]

This author has not been identified. Look up 'Andreas Eggers' in GoogleThis author has not been identified. Look up 'Matthias Stasch' in GoogleThis author has not been identified. Look up 'Tino Teige' in GoogleThis author has not been identified. Look up 'Tom Bienmüller' in GoogleThis author has not been identified. Look up 'Udo Brockmeyer' in Google

runs on WebDSL