Publications (27)
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past
Luca Geatti, Nicola Gigante, Angelo Montanari +1
The Rate of Gas Accretion onto Black Holes Drives Jet Velocity
Ashley L. King, Jon M. Miller, Michael Bietenholz +5
A Faster Tableau for CTL*
Mark Reynolds
Quantum algorithm for visual tracking
Chao-Hua Yu, Fei Gao, Chenghuan Liu +3
Hourglass Automata
Yuki Osada, Tim French, Mark Reynolds +1
Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour
Omar Al-Bataineh, Mark Reynolds, Tim French
Specifying Robustness
John C. McCabe-Dansted, Tim French, Mark Reynolds +1
The light curve of the companion to PSR B1957+20
Mark Reynolds, Paul Callanan, Andrew Fruchter +3
Termination of Monotone Programs
Omar Al-Bataineh, Xie Xiaofei, Mark Reynolds
Suzaku Observations of the Galactic Center Microquasar 1E 1740.7-2942
Mark Reynolds, Jon Miller
An Anomalous Quiescent Stellar Mass Black Hole
Mark Reynolds, Jon Miller
A modal aleatoric calculus for probabilistic reasoning: extended version
Tim French, Andrew Gozzard, Mark Reynolds
Trace Expressiveness of Timed and Probabilistic Automata
Valentin Bura, Tim French, Mark Reynolds
The Temporal Logic of two dimensional Minkowski spacetime is decidable
Robin Hirsch, Mark Reynolds
A traditional tree-style tableau for LTL
Mark Reynolds
A Multi-wavelength Analysis of Binary-AGN Candidate PSO J334.2028+01.4075
Adi Foord, Kayhan Gultekin, Mark Reynolds +4
RATS-Kepler -- a deep high cadence survey of the Kepler field
Gavin Ramsay, Adam Brooks, Pasi Hakala +8
G306.3-0.9: A newly discovered young galactic supernova remnant
Mark Reynolds, Shyeh Loi, Tara Murphy +14
A game-theoretic approach to timeline-based planning with uncertainty
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer +2
A Swift survey of accretion onto stellar-mass black holes
Mark Reynolds, Jon Miller
Timed Automata with Polynomial Delay and their Expressiveness
Valentin Bura, Tim French, Mark Reynolds
Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table
Omar Al-Bataineh, David Rosenblum, Mark Reynolds
Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology
Omar I. Al-Bataineh, Mark Reynolds
A Parallel Linear Temporal Logic Tableau
John C. McCabe-Dansted, Mark Reynolds
Deep Chandra Observations of the Compact Starburst Galaxy Henize 2-10: X-rays from the Massive Black Hole
Amy Reines, Mark Reynolds, Jon Miller +4
A New Rule for LTL Tableaux
Mark Reynolds
Suzaku broadband spectroscopy of Swift J1753.5-0127 in the Low-Hard State
Mark Reynolds, Jon Miller, Jeroen Homan +1