( en | de | ru )

 

Disambiguierung von "Favorito, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work.

, , , , , und . IJCAI, Seite 2591-2598. ijcai.org, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Weitere Publikationen von Autoren mit dem selben Namen

Combining search strategies to improve performance in the calibration of economic ABMs., , , und . CoRR, (2023)Black-it: A Ready-to-Use and Easy-to-Extend Calibration Kit for Agent-based Models., , , , , , und . J. Open Source Softw., 7 (79): 4622 (November 2022)Temporal Logic Monitoring Rewards via Transducers., , , , und . KR, Seite 860-870. (2020)Composition of Stochastic Services for LTLf Goal Specifications., , und . FoIKS, Volume 14589 von Lecture Notes in Computer Science, Seite 298-316. Springer, (2024)PoW-less Bitcoin with Confidential Byzantine PoA., , , , , , und . ICBC, Seite 1-3. IEEE, (2023)Digital Twins Composition via Markov Decision Processes., , , , und . ITBPM@BPM, Volume 2952 von CEUR Workshop Proceedings, Seite 44-49. CEUR-WS.org, (2021)Composition of Nondeterministic Services for LTLf Task Specification., , und . OVERLAY@AI*IA, Volume 3629 von CEUR Workshop Proceedings, Seite 73-77. CEUR-WS.org, (2023)Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived Permissioned DLT., , , , , , und . DLT, Volume 3460 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Forward LTLf Synthesis: DPLL At Work.. IPS-RCRA-SPIRIT@AI*IA, Volume 3585 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Standard Grammars for LTL and LDL (v0.1.0).. CoRR, (2020)