Real-Time Policy Enforcement with Metric First-Order Temporal Logic
Year: 2022
Type: conference-paper
Authors: François Hublet, David Basin, Srđan Krstić
Institutions: ETH Zurich, Institute of Information Security
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4296927657