As Soon as Possible but Rationally: Rational Synthesis for Reachability on Weighted Graphs
Authors
- Christophe Grandmont
Institutions
- University of Mons (BE)
- Département d'Informatique (FR)
Publication Details
- Journal
- ORBi UMONS
- Published
- 2024-09-19
- Primary Topic
- Constraint Satisfaction and Optimization
- Type
- article
- Field-Weighted Citation Impact
- 0.00