2 items found

Licenses: Academic Free License 3.0 Tags: artificial intelligence

Filter Results

  • Access required...

    ×

    Method

    Private ltlf2asp

    Linear Temporal Logic over Finite Traces (LTLf) is a popular logic to reason about finite sequences of events. In LTLf, the (bounded) satisfiability problem refers to whether...
  • ConferencePaper

    STS-EPR: Modelling individual mobility considering the spatial, temporal, and...

    Modelling human mobility is crucial in several scientific areas, from urban planning to epidemic modeling, traffic forecasting, and what-if analysis. On the one hand, existing...