Ivan Gavran

Identifiers

No identifiers captured yet.

Papers (3)

1. Learning Linear Temporal Properties cs.LO · 2018 · author #2
2. Precise but Natural Specification for Robot Tasks cs.RO · 2018 · author #1
3. The Robot Routing Problem for Collecting Aggregate Stochastic Rewards cs.SY · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Rupak Majumdar 2 shared papers
• Brendon Boldt 1 shared papers
• Daniel Neider 1 shared papers
• Eva Darulova 1 shared papers
• Rayna Dimitrova 1 shared papers
• Sadegh Esmaeil Zadeh Soudjani 1 shared papers
• Vinayak S. Prabhu 1 shared papers