Verfasser Suchresultate :: Subito Katalog

1

TAMING DISCRETE INTEGRATION VIA THE BOON OF DIMENSIONALITY

von Dudek, Jeffrey
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 2 of 27 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Adapting Behaviors via Reactive Synthesis

von Amram, Gal
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: