Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation
Electronic proceedings in theoretical computer science, 2022, Vol.369, p.67-82
2022
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems
Science of computer programming, 2023-06, Vol.228, p.102946, Article 102946
2023
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Model checking safety and liveness via k-induction and witness refinement with constraint generation
Science of computer programming, 2020-12, Vol.200, p.102532, Article 102532
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.53-69
2021
Volltextzugriff (PDF)
1 – 4 von 4
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen