Essays about: "LTL"

Showing result 1 - 5 of 15 essays containing the word LTL.

1. 1. SeqLTL and ωLTL

   University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

   Author : Oskar Grekula; [2023-10-19]
   Keywords : Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

   Abstract : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. READ MORE

3. 2. Finding economic feasibility in electrified LTL transportation systems

   University essay from Lunds universitet/Produktionsekonomi

   Author : Eddi Johansson; Tusjant Ruthran; [2023]
   Keywords : Electric Trucks; Electrified LTL; Electrified Less-than-Truckload; Electrified LTL Transportation System; Electrified Less-than-Truckload Transportation System; Economics Electrified LTL.; Technology and Engineering;

   Abstract : As electrification of vehicles moves past its infancy and large-scale adoption of the technology becomes reality, application areas within different industries need to be scrutinized. The shift within the transportation sector, especially trucking, can have unidentified economic benefits; which is the focus of this thesis. READ MORE

4. 3. Last Mile Delivery of Swedish Retailers : A study on Swedish Omni-channel retailers and E-tailers

   University essay from Jönköping University/JTH, Logistik och verksamhetsledning

   Author : Zulnasree Binadam; Alexandra Balan; [2021]
   Keywords : Last-mile delivery; Retailing; Omni-channel; E-tailers; E-commerce;

   Abstract : Abstract Purpose: The purpose of this study is to explore last mile delivery practices among large and medium Swedish omni-channel (OC) retailers and e-tailers. Also, the study aims at analyzing what similarities and differences exist between the two types of retailers. READ MORE

5. 4. Deskriptiv studie av vildsvins rörelser och kontakter, samt implikationer för spridning av afrikansk svinpest

   University essay from SLU/Dept. of Biomedical Sciences and Veterinary Public Health

   Author : Olivia Nordfeldt; [2021]
   Keywords : vildsvin; afrikansk svinpest; kontakt; rörelse; vildsvinskadaver;

   Abstract : Afrikansk svinpest (ASF) är sjukdom som drabbar alla medlemmar i familjen Suidae. Det senaste decenniet har sjukdomen spridit sig snabbt i både Europa och Asien där den har fått stora socioekonomiska konsekvenser. READ MORE

6. 5. Battery and WiFi aware 3D exploration based on temporal logics

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Idris Sahil; [2019]
   Keywords : ;

   Abstract : Unmanned Aerial Vehicle (UAV) exploration is a rising field of interest in recent years. UAVs are agile and able to enter areas that humans cannot, making them ideal for exploration. To this end, many exploration algorithms have been developed and proven to work well in using UAVs. READ MORE