Ivan Gavran

Identifiers

• name variant Ivan Gavran 0.60 · backfill

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

• 1803.02238 #1 · arxiv_oai · confidence 0.70 Ivan Gavran
• 1704.05303 #2 · arxiv_oai · confidence 0.70 Ivan Gavran

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