CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis

Statistical inference for probabilistic functions of finite state markov chains

Leonard E Baum and Ted Petrie · 1966

Earlier work this paper cites.

Curve fitting by segmented straight lines

Richard Bellman and Robert Roth · 1969

Earlier work this paper cites.

Maximum likelihood from incomplete data via the em algorithm

Arthur P Dempster, Nan M Laird, and Donald B Rubin · 1977

Earlier work this paper cites.

Estimating the dimension of a model

Gideon Schwarz et al · 1978

Earlier work this paper cites.

Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems

Rajeev Alur, Costas Courcoubetis, Thomas A Henzinger, and Pei-Hsin Ho · 1993

Earlier work this paper cites.

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger, P-H Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine · 1995

Earlier work this paper cites.

What’s decidable about hybrid automata?

Thomas A Henzinger, Peter W Kopke, Anuj Puri, and Pravin Varaiya · 1995

Earlier work this paper cites.

Discrete-time control for rectangular hybrid automata

Thomas A Henzinger and Peter W Kopke · 1999

Earlier work this paper cites.

The infinite hidden markov model

Matthew J Beal, Zoubin Ghahramani, and Carl Edward Rasmussen · 2002

Earlier work this paper cites.

Hierarchical modeling and analysis of embedded systems

Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, P Mishra, GJ Pappas, and Oleg Sokolsky · 2003

Cited alongside, same era.

Model selection using information theory and the mdl principle

Robert A Stine · 2004

Cited alongside, same era.

Phaver: Algorithmic verification of hybrid systems past hytech

Goran Frehse · 2005

Cited alongside, same era.

Symbolic reachability analysis of lazy linear hybrid automata

Susmit Jha, Bryan A Brady, and Sanjit A Seshia · 2007

Cited alongside, same era.

Differential dynamic logic for hybrid systems

André Platzer · 2008

Cited alongside, same era.

Model-based recursive partitioning

Achim Zeileis, Torsten Hothorn, and Kurt Hornik · 2008

Cited alongside, same era.

Learning hybrid models with guarded transitions

Pedro Santana, Spencer Lane, Eric Timmons, Brian Williams, and Carlos Forster · 2015

Later among the works it cites.

You say jump, i say how high? operationalising the game feel of jumping

Martin Fasterholdt, Martin Pichlmair, and Christoffer Holmgård · 2016

Later among the works it cites.

Finding design influence within roguelike games

Xavier Ho, Martin Tomitsch, and Tomasz Bednarz · 2016

Later among the works it cites.

The forget-me-not process

Kieran Milan, Joel Veness, James Kirkpatrick, Michael Bowling, Anna Koop, and Demis Hassabis · 2016

Later among the works it cites.

The glEnd() of Zelda

Tom Murphy, VII · 2016

Later among the works it cites.

General video game ai: Competition, challenges and opportunities

Diego Perez-Liebana, Spyridon Samothrakis, Julian Togelius, Tom Schaul, and Simon M Lucas · 2016

Later among the works it cites.