|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 30 van 51 gevonden artikelen
| Titel: |
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings ⁎ ⁎ This work is supported in part by DARPA grant N66001-14-1-4045, and NSF grants CNS1446298 and ECCS-1553873. For the extended version, see Lindvall Bulancea et al. (2018). |
| Auteur: |
Bulancea, Oscar Lindvall Nilsson, Petter Ozay, Necmiye |
| Verschenen in: |
IFAC-PapersOnLine |
| Paginering: | Jaargang 51 () nr. 16 pagina's 19-24 |
| Jaar: |
2018 |
| Inhoud: | |
| Uitgever: |
Published by Elsevier B.V. |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 30 van 51 gevonden artikelen
| << vorige | volgende >> |