1: \begin{abstract}

2: This paper studies the problem of control strategy synthesis for dynamical systems with differential constraints to fulfill a given \jana{reachability goal} %specification 

3: while satisfying a set of safety rules. Particular attention is devoted to %task specifications 

4: \jana{goals} that become feasible only if a subset of the safety rules are violated. The proposed algorithm %then 

5: computes a control law, that minimizes the \emph{level of unsafety} \jana{while the desired goal is guaranteed to be reached}.

6: % for a trajectory that satisfies the given task specification.

7: %

8: This problem is motivated by an autonomous car navigating an urban environment while following rules of the road such as ``always travel in right lane'' and ``do not change lanes frequently''.

9: %

10: Ideas behind sampling based motion-planning algorithms, such as Probabilistic Road Maps (PRMs) and 

11: Rapidly-exploring Random Trees (RRTs), are employed to incrementally construct a finite \emph{concretization} of the dynamics as a durational Kripke structure. In conjunction with this, 

12: \jana{a weighted} finite automaton that captures the safety rules is used in order to find an optimal trajectory that minimizes the violation of safety rules.

13: %

14: %It is 

15: \jana{We prove} that the proposed algorithm guarantees asymptotic optimality, i.e., 

16: almost-sure convergence to optimal solutions. \pcmargin{We present results of simulation experiments and an implementation on an autonomous urban mobility-on-demand system.}{}

17: \end{abstract}

18: