Robust Controller Synthesis for Duration Calculus

von Dole, Kalyani
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Regular Model Checking with Regular Relations

von Dave, Vrunda
Veröffentlicht in FCT (23. : 2021 : Online) Fundamentals of computation theory (2021)

Optimal Repair for Omega-Regular Properties

von Dave, Vrunda
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers

von Krishna, Shankara Narayanan
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Logic and its applications : 6th Indian conference, ICLA 2015, Mumbai, India, January 8 - 10, 2015 ; proceedings

Veröffentlicht 2015