Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales

Terms and Conditions

Twitter GitHub LinkedIn Bluesky Youtube

© 2026 ResearchTrend.AI, All rights reserved.

Home
Papers
2203.07982
Cited By

Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic

Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic

AAAI Conference on Artificial Intelligence (AAAI), 2022

15 March 2022

ArXiv (abs)PDF HTML

Papers citing "Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic"

3 / 3 papers shown

Decidable Fragments of LTLf Modulo Theories (Extended Version)

Decidable Fragments of LTLf Modulo Theories (Extended Version)European Conference on Artificial Intelligence (ECAI), 2023

Alessandro Gianola

96

14

0

31 Jul 2023

Relational Action Bases: Formalization, Effective Safety Verification,
and Invariants (Extended Version)

Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)

Alessandro Gianola

203

1

0

12 Aug 2022

Soundness of Data-Aware Processes with Arithmetic Conditions

Soundness of Data-Aware Processes with Arithmetic ConditionsInternational Conference on Advanced Information Systems Engineering (CAiSE), 2022

67

12

0

28 Mar 2022

Page 1 of 1