Abstract: A system and methods thereof for monitoring proper behavior of an autonomous vehicle are provided. The method includes generating a plurality of agents, wherein each of the plurality of agents describes a physical object, wherein at least one of the plurality of agents is an agent for the DUT, generating a plurality of scenarios, wherein each scenario models a behavior of at least one of the plurality of agents, and monitoring an interaction between the plurality of agents and the DUT agent for a scenario modeling the respective agent.

Abstract: A method for providing a test scenario simulation of an interaction of a plurality of vehicles by a computer system comprises receiving a scenario involving at least the plurality of vehicles, wherein the scenario is described in a high-level scenario description language; receiving a plurality of parameter values for the received scenario; modifying the plurality of parameter values according to at least one of a pass/fail predictor model and a pass/fail indication; narrowing a range of values of at least one parameter of the plurality of parameters by prediction of at least a key performance indicator (KPI) value using a KPI predictor; and generating a test scenario for the simulation of the interaction of the plurality of vehicles within the received scenario based on at least the narrowed range of values.

Abstract: A system and method for determining concrete instances in traffic scenarios are provided. The method includes receiving a scenario in a scenario description language, wherein the scenario includes at least one sub-scenario; identifying at least one variable for the scenario and the at least one sub-scenario based on parsing of at least one actor and the received scenario; identifying at least one constraint relation derived from the scenario and the at least a sub-scenario; generating, from the at least one variable and at least one constraint, a constraint satisfaction problem; processing the constraint satisfaction problem to generate sequences of states for the at least one variable that comply with the at least one constraint, wherein the sequence of states defines the behavior of the at least one actor with time values; and determining at least one solution that includes the sequences of states.

Abstract: A system and methods thereof for monitoring proper behavior of an autonomous vehicle are provided. The method includes generating a plurality of agents, wherein each of the plurality of agents describes a physical object, wherein at least one of the plurality of agents is an agent for the DUT, generating a plurality of scenarios, wherein each scenario models a behavior of at least one of the plurality of agents, and monitoring an interaction between the plurality of agents and the DUT agent for a scenario modeling the respective agent.