Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783030451899, 9783030451905
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Learning One-Clock Timed Automata

2020 ◽  
pp. 444-462 ◽  
Author(s):  
Jie An ◽  
Mingshuai Chen ◽  
Bohua Zhan ◽  
Naijun Zhan ◽  
Miaomiao Zhang
Keyword(s):  
Timed Automata

scholarly journals Simple Strategies in Multi-Objective MDPs

2020 ◽  
pp. 346-364 ◽  
Author(s):  
Florent Delgrange ◽  
Joost-Pieter Katoen ◽  
Tim Quatmann ◽  
Mickael Randour
Keyword(s):  
Multi Objective

scholarly journals A Study of Symmetry Breaking Predicates and Model Counting

2020 ◽  
pp. 115-134 ◽  
Author(s):  
Wenxi Wang ◽  
Muhammad Usman ◽  
Alyas Almaawi ◽  
Kaiyuan Wang ◽  
Kuldeep S. Meel ◽  
...  
Keyword(s):  
Symmetry Breaking ◽  
Model Counting
Load More ...
Sign in / Sign up

Export Citation Format

Share Document