Work

When Every Transmission Counts: Event-Trigger Threshold Regulation for STL Properties

Year: 2025

Type: article

Source: IEEE Internet of Things Journal

DOI: 10.1109/jiot.2025.3637893

Authors: Valdemar Tang Evans, Cláudio Gomes, Daniel E. Lucani

Institution: Aarhus University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Villum Fonden, HORIZON EUROPE Framework Programme

Awards: G4303276953, G6880720638

OpenAlex ID: W4416748945

FWCI:

Cites: 30

Cited by:

Related to: