Sean Sedwards

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Falsification of hybrid systems using adaptive probabilistic search ACM Transactions on Modeling and Computer Simulation	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 (available as arXiv preprint)	2018-07-17	Paper
Rare events for statistical model checking an overview	2018-03-26	Paper
Command-based importance sampling for statistical model checking Theoretical Computer Science	2016-09-12	Paper
Statistical approximation of optimal schedulers for probabilistic timed automata Lecture Notes in Computer Science	2016-06-17	Paper
Prosperity is associated with instability in dynamical networks Journal of Theoretical Biology	2016-05-30	Paper
Prosperity is associated with instability in dynamical networks Journal of Theoretical Biology	2016-05-30	Paper
Combining game theory and graph theory to model interactions between cells in the tumor microenvironment New Challenges for Cancer Systems Biomedicine	2015-07-16	Paper
Membrane systems with peripheral proteins: transport and evolution Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
A platform for high performance statistical model checking -- PLASMA Tools and Algorithms for the Construction and Analysis of Systems	2012-06-29	Paper
A LOGICAL CHARACTERIZATION OF ROBUSTNESS, MUTANTS AND SPECIES IN COLONIES OF AGENTS International Journal of Foundations of Computer Science	2008-12-01	Paper
Decision problems in membrane systems with peripheral proteins, transport and evolution Theoretical Computer Science	2008-11-06	Paper
A multiset-based model of synchronizing agents: Computability and robustness Theoretical Computer Science	2008-03-06	Paper

Research outcomes over time

This page was built for person: Sean Sedwards