Sean Sedwards

Available identifiers

Publication	Date of Publication	Type
Falsification of hybrid systems using adaptive probabilistic search	2024-08-08	Paper
Memory-efficient tactics for randomized LTL model checking	2018-12-07	Paper
Importance sampling for stochastic timed automata	2018-08-16	Paper
A hierarchy of scheduler classes for stochastic automata	2018-07-17	Paper
Rare events for statistical model checking an overview	2018-03-26	Paper
Command-based importance sampling for statistical model checking	2016-09-12	Paper
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata	2016-06-17	Paper
Prosperity is associated with instability in dynamical networks	2016-05-30	Paper
Combining Game Theory and Graph Theory to Model Interactions between Cells in the Tumor Microenvironment	2015-07-16	Paper
Membrane systems with peripheral proteins: transport and evolution	2013-12-06	Paper
A Platform for High Performance Statistical Model Checking – PLASMA	2012-06-29	Paper
A LOGICAL CHARACTERIZATION OF ROBUSTNESS, MUTANTS AND SPECIES IN COLONIES OF AGENTS	2008-12-01	Paper
Decision problems in membrane systems with peripheral proteins, transport and evolution	2008-11-06	Paper
A multiset-based model of synchronizing agents: Computability and robustness	2008-03-06	Paper

This page was built for person: Sean Sedwards