Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1707.03336
Cited By
CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis
11 July 2017
A. Summerville
J. Osborn
Michael Mateas
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis"
5 / 5 papers shown
Synthesis of Parametric Hybrid Automata from Time Series
Automated Technology for Verification and Analysis (ATVA), 2022
Miriam García Soto
T. Henzinger
Christian Schilling
AI4TS
131
3
0
13 Jul 2022
Conceptual Game Expansion
IEEE Transactions on Games (IEEE Trans. Games), 2020
Matthew J. Guzdial
Mark O. Riedl
228
16
0
22 Feb 2020
Verification for Machine Learning, Autonomy, and Neural Networks Survey
Weiming Xiang
Patrick Musau
A. Wild
Diego Manzanas Lopez
Nathaniel P. Hamilton
Xiaodong Yang
Joel A. Rosenfeld
Taylor T. Johnson
262
108
0
03 Oct 2018
Automated Game Design via Conceptual Expansion
Matthew J. Guzdial
Mark O. Riedl
234
43
0
06 Sep 2018
Automated Game Design Learning
J. Osborn
A. Summerville
Michael Mateas
AI4CE
114
18
0
11 Jul 2017
1
Page 1 of 1
