Skip to main content

ETHNOS_APP

Home • Search • Journals • List 0

Kurt Geihs

Biographic Data

ID4982123
NAMEKurt Geihs
GIVEN NAMESKurt
FAMILY NAMEGeihs
SIGNATUREGEIHS K
AFFILIATIONSUniversity of Kassel
ORCID0000-0001-9833-6108
VERIFIEDYes
TOTAL WORKS1
TOTAL CITATIONS0
WORKS AS AUTHOR1
WORKS AS EDITOR0
FIRST PUBLICATION YEAR2021
LATEST PUBLICATION YEAR2021
H-INDEX0
  • Formal Verification of Multi-agent Plans for Vehicle Platooning

    Open Access•Thao Nguyen Van, Kurt Geihs•CHAPTER•Context-Aware Systems and…•2021

No prominent works on this page.

  • Formal Verification of Multi-agent Plans for Vehicle Platooning

    Open Access•Thao Nguyen Van, Kurt Geihs•CHAPTER•Context-Aware Systems and…•2021

Advanced Software Engineering Methodologies (1 work) · Artificial Intelligence (1 work) · Certification (1 work) · Computer Science (1 work) · Control (management) (1 work) · Formal Methods in Verification (1 work) · Model checking (1 work) · Model-Driven Software Engineering Techniques (1 work) · Multi-agent system (1 work) · Operating system (1 work)

Ethnos_APP • Open Source Project • MIT License • Frontend v2.0.0 • Privacy and Cookies • API Documentation: api.ethnos.app/docs • API Source Code: GitHub • DOI: 10.5281/zenodo.17049435 • Frontend Source Code: GitHub • DOI: 10.5281/zenodo.17050053 • cruz.rio.br • Expectantes Misericordiae