Ordliste
Linear Temporal Logic (LTL)
Et formelt språk for å spesifisere og verifisere ønsket oppførsel i systemer over tid, ofte brukt i sikkerhetsmonitorer.
Notiser som nevner dette begrepet
Ingen publiserte notiser har koblet «Linear Temporal Logic (LTL)» ennå.
Nyhetsbrev
Få nyhetsbrevet i innboksen
Hvert nyhetsbrev samler ukens viktigste AI-nyheter — korte, kildebelagte saker skrevet for norske lesere. Du får en e-post med nytt nyhetsbrev, gratis. Vil du heller lytte? Nyhetsbrevet finnes også som podkast. Du kan melde deg av når som helst.