Crossmark

First-order temporal logic monitoring with BDDs

Crossref DOI link: https://doi.org/10.1007/s10703-018-00327-4

Published Online: 2019-01-07

Published Print: 2020-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Havelund, Klaus https://orcid.org/0000-0001-7079-0472
Peled, Doron https://orcid.org/0000-0002-7280-6578
Ulus, Dogan https://orcid.org/0000-0002-5090-1769
Funding

Funding for this research was provided by:

Jet Propulsion Laboratory

Verimag

Bar-Ilan University
License Information

Text and Data Mining valid from 2019-01-07

Version of Record valid from 2019-01-07
More Information

Article History

First Online: 7 January 2019