E-LIB Suche - Ergebnisse für: Gavran, Ivan

1

Planning and Specification Problems for Multi-Robot Systems..:

Gavran, Ivan , 2022

Link: https://nbn-resolving.de..

2

Lassie: HOL4 tactics by example:

, In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Becker, Heiko ; Bos, Nathaniel ; Gavran, Ivan.. - p. 212-223 , 2021

Link: https://dl.acm.org/doi/1..

3

Interactive synthesis of temporal specifications from examp..:

Gavran, Ivan ; Darulova, Eva ; Majumdar, Rupak
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-26 , 2020

Link: https://dl.acm.org/doi/1..

4

Interactive synthesis of temporal specifications from examp..:

Gavran, Ivan ; Darulova, Eva ; Majumdar, Rupak
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-26 , 2020

Link: https://doi.org/10.1145/..

5

Learning Properties in LTL ∩ ACTL from Positive Examples On..:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),

Ehlers, Rudiger ; Gavran, Ivan ; Neider, Daniel - p. 104-112 , 2020

Link: https://doi.org/10.34727..

6

Tᴏᴏʟ: accessible automated reasoning for human robot collab..:

, In: Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Gavran, Ivan ; Mailahn, Ortwin ; Müller, Rainer.. - p. 44-56 , 2018

Link: https://dl.acm.org/doi/1..

7

Antlab : A Multi-Robot Task Server:

Gavran, Ivan ; Majumdar, Rupak ; Saha, Indranil
ACM Transactions on Embedded Computing Systems (TECS). 16 (2017) 5s - p. 1-19 , 2017

Link: https://dl.acm.org/doi/1..

8

Antlab: A Multi-Robot Task Server:

Gavran, Ivan ; Majumdar, Rupak ; Saha, Indranil
ACM Transactions on Embedded Computing Systems. 16 (2017) 5s - p. 1-19 , 2017

Link: https://doi.org/10.1145/..

9

Planning and Specification Problems for Multi-Robot Systems..:

Gavran, Ivan
https://kluedo.ub.rptu.de/frontdoor/index/index/docId/6863. , 2022

Link: https://kluedo.ub.rptu.d..

10

Lassie: HOL4 Tactics by Example:

Becker, Heiko ; Bos, Nathaniel ; Gavran, Ivan..
http://arxiv.org/abs/2101.00930. , 2021

Link: http://arxiv.org/abs/210..

11

Learning Properties in LTL ∩ ACTL from Positive Examples On..:

Ehlers, Rüdiger ; Gavran, Ivan ; Neider, Daniel
#PLACEHOLDER_PARENT_METADATA_VALUE#. , 2020

Link: https://hdl.handle.net/2..

12

Joint Inference of Reward Machines and Policies for Reinfor..:

Xu, Zhe ; Gavran, Ivan ; Ahmad, Yousef...
http://arxiv.org/abs/1909.05912. , 2019

Link: http://arxiv.org/abs/190..

13

Biomass Yield and Fuel Properties of Different Poplar SRC C..:

Vusić, Dinko ; Kajba, Davorin ; Andrić, Ivan...
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.5552/crojfe.2019.678. , 2019

Link: https://hrcak.srce.hr/22..

14

Learning Linear Temporal Properties:

Neider, Daniel ; Gavran, Ivan
http://arxiv.org/abs/1806.03953. , 2018

Link: http://arxiv.org/abs/180..

15

Precise but Natural Specification for Robot Tasks:

Gavran, Ivan ; Boldt, Brendon ; Darulova, Eva.
http://arxiv.org/abs/1803.02238. , 2018

Link: http://arxiv.org/abs/180..