Search papers, labs, and topics across Lattice.
Affiliation:
1
0
3
1
Rational synthesis for multi-agent systems with unknown dynamics and $\mathsf{PLTL}_f$ objectives is achieved by integrating solution concepts like Nash equilibrium with temporal logic satisfaction.