Abstract: Disclosed herein are system, method, and computer program product aspects for validating protolanes. For example, the method includes determining a protolane level flowchart from one or more flowcharts corresponding to one or more gates of a protolane selected from a set of protolanes of a geonet, wherein the one or more flowcharts correspond to conditions that can be encountered by an actor approaching the corresponding one or more gates, and wherein the geonet comprises a plurality of lane segments associated with the set of protolanes. A graph through the protolane level flowchart is generated that corresponds to actions of an actor. Reasoning of the actor is validated by testing the actions of the actor against the graph through the protolane level flowchart.

Abstract: Devices, systems, and methods are provided for enhanced rider pairing of an autonomous vehicle (AV). A system may pair a first user profile of a first user located at a first location with a first autonomous vehicle (AV) to complete a trip to a destination selected by the first user. The system may detect a second AV at the first location, wherein the second AV is associated with a second user profile. The system may connect the second AV with the first user using a connection mechanism. The system may select a profile status of the first user profile based on the connection to the second AV. The system may pair the first user profile with the second AV based on the profile status.